Concept
Système formel
Séances de cours associées (81)
Systèmes logiques : Karnaugh Maps et TTL Gates
Explore les cartes Karnaugh, les portes TTL, les aspects analogiques de la logique numérique et les principaux impliqués.
Algèbre booléenne : propriétés et optimisation
Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.
Portes logiques et élimination des dangers
Explore les portes logiques, l'élimination des risques, les ALU, les compteurs et les registres à décalage dans la technologie des semi-conducteurs.
Bien-fondé et exhaustivité d'un système de preuve proposé
Explore l'importance de la solidité et de l'exhaustivité dans un système de preuve propositionnelle.
Logic Gates et la technologie IC
Explore la mise en œuvre de portes logiques dans le matériau semi-conducteur, en se concentrant sur les technologies TTL et CMOS, les circuits intégrés, les dangers, les horloges, les bascules D et le débouncing des commutateurs.
Conception et synthèse FSM
Explique la conception et la synthèse des machines à états finis dans les systèmes logiques.
Systèmes logiques ascenseurs
Explore les systèmes logiques d'ascenseur, y compris l'analyse du comportement, les fonctions logiques, les verrous SR et les verrous de réinitialisation.
SR Latch et D Flip-Flop: Éléments de mémoire dans les systèmes logiques
Explore le verrou SR, la bascule D, les multiplexeurs, les portes XOR et les portes tristates dans les systèmes logiques.
Systèmes finis exprimés avec des formules
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.
Travail sur le terrain : sécurité et volonté
Explore la sécurité dans le travail sur le terrain et l'impact d'un testament sur les décisions de carrière.