Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Disjonction logique

Séances de cours associées (32)

Multiplicande d'accélération commune

Explore multiplicand speedup commun à travers des opérations logiques comme bitwise AND et XOR pour optimiser le processus de multiplication.

Optimisation discrète : Modélisation MOOC: Optimisation : principes et algorithmes - Optimisation discrète et en réseau

Couvre les opérations logiques et les contraintes dans la modélisation d'optimisation discrète.

Nombres et booléens

Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.

Pouvoirs et racines : comprendre les équations irrationnelles

Plonge dans les pouvoirs et les racines, en mettant l'accent sur les équations irrationnelles et la disjonction des cas.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Coq: Introduction

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Déclarations conditionnelles: C++ Basics

Introduit les bases des déclarations conditionnelles dans C++, y compris les opérateurs booléens et l'évaluation logique.

Circuits logiques combinés

Couvre les bases des systèmes logiques, de l'algèbre booléenne, des portes logiques et du codage dans les circuits numériques.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Introduction à l'élimination des quantificateurs pour l'arithmétique de Presbourg

Introduit une méthodologie de vérification formelle et l'arithmétique de Presburger pour la vérification de programme et le raisonnement automatisé.

Entrées-sorties: GPIO et registres

Couvre le rôle des broches comme entrée et sortie, GPIO, et les opérations sur les champs bit.

Moteurs d'inférence : Clauses de résolution et de corne

Couvre les moteurs d'inférence basés sur la résolution, les clauses Horn, le filtrage et l'unification de l'intelligence artificielle.

Calcul des propositions

Couvre le calcul des propositions dans la logique de prédicat en mettant l'accent sur les connectifs logiques.

Logique du prédicat : Quiz Réponses Analyse

Analyse les réponses au quiz sur la logique des prédicats, couvrant les quantificateurs, les implications et les négations.

Logique du prédicat : quantificateurs et valeurs de vérité

Explore les quantificateurs existentiels, les valeurs de vérité et les énoncés composites dans la logique des prédicats.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Biens importants des organismes archiméens MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels MOOC: Analyse I

Couvre la propriété Archimède et la proposition pour tous x dans un ensemble, il existe un nombre réel positif n tel que n*x est plus grand que y.

Rechercher Algorithmes: Raisons Abductives

Explore le raisonnement abducteur, les algorithmes de recherche et la recherche heuristique pour la résolution de problèmes.

Déclarations conditionnelles MOOC: Matlab et Octave pour débutants

Couvre les bases des déclarations conditionnelles dans MATLAB et Octave.