Séance de cours
Logique principale : quantificateurs et formulaires normaux
Séances de cours associées (176)
Équivalences logiques : les lois de De Morgan et leurs implications
Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Logique du prédicat : Quantificateurs imbriqués
Explore les quantificateurs imbriqués dans la logique et leur traduction en langage naturel et en énoncés mathématiques.
Optimiser les fonctions logiques
Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.
Logique proposée : Règles d'inférence
Couvre l'interprétation de la logique de proposition et des règles d'inférence pour l'implication, la conjonction et la double négation.
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 : Formes et applications normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
Ensembles et structures définis récursivement
Explore les ensembles définis récursivement, les nombres naturels, les chaînes, les fonctions et les formules de logique propositionnelle.
Logique propositionnelle : Quiz Réponses
Couvre les réponses à un quiz sur la logique propositionnelle, en soulignant l'importance de la clarté dans les énoncés logiques.
Systèmes logiques : bases et opérateurs
Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.