Explore l'encodage des systèmes finis avec les fonctions booléennes, la logique propositionnelle, les invariants inductifs et les systèmes de preuve formels.
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.
Explore une variété de problèmes ouverts en théorie des graphes et en complexité informatique, mettant au défi les étudiants d'analyser et de résoudre des problèmes complexes.
Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Explore des modèles de marché financier sans arbitrage et complets, des probabilités neutres sur le plan du risque, des prix structurés des billets et des options de couverture.
