Explore les types booléens, les opérateurs logiques et les structures de contrôle en Python, en mettant l'accent sur l'évaluation des expressions et l'utilisation des opérateurs relationnels.
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
Couvre la compilation de séquences d'instructions, de structures de contrôle, de représentations booléennes et de comparaisons dans la génération de code WebAssembly.
Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.
