Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
Explore l'exhaustivité dans la logique propositionnelle, la résolution sur les clauses, la forme conjonctive, la résolution unitaire, les solveurs SAT et la génération de preuves.
Déplacez-vous dans la causalité dans un monde indéterministe, défiant les points de vue traditionnels et explorant les implications de la physique quantique sur le hasard et la réalité.
Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.
Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.
