Explore un système de distributeur de collations avec plusieurs niveaux et emplacements, analysant son système de transition et sa capacité de stockage stable.
Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.
Couvre la conception d'une machine d'état fini pour un système de serrure de porte et explique le modèle Moore FSM avec la validation de clé et les indicateurs de LED.
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.
