Séance de cours
Logique propositionnelle : Formes et applications normales
Séances de cours associées (49)
Concept de preuve en mathématiques
Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
Logique propositionnelle : Formes normales
Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.
Logique propositionnelle : Formes normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
Logique propositionnelle : bases et équivalences
Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
Mathématiques discrètes: Logique & Structures
Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.
Logique principale : quantificateurs et formulaires normaux
Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.