Séances de cours associées à Atomic sentence

Couvre Séquent Calculus avec Equality, en mettant l'accent sur les formules atomiques et les règles de substitution.

Logique propositionnelle : connexions logiques de base

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.

Explore Second Order Logic, WS1S, HOL, procédures de décision, formules atomiques et composites, et la combinaison de WS1S avec MONA dans HOL.

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.

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.

Mathématiques discrètes: Logique, Structures, Algorithmes

Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.

Logique propositionnelle : connexions logiques de base

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

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 normales

Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.

É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.

Logique propositionnelle : bases et équivalences

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Logique proposée: Traductions et équivalences

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