Concept
Zhegalkin polynomial
Séances de cours associées (17)
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.
Synthèse logique : Concevoir des circuits numériques efficaces
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces en utilisant des minterms, des maxterms et de nouvelles portes comme XOR et XNOR.
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.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la logique de premier ordre, les preuves de résolution, les fonctions Skolem et la vérification de la satisfaction en mathématiques et la vérification de programme.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.
Optimiser les fonctions logiques
Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.
Diagramme de Bode Synthèse
Couvre la synthèse dans le diagramme de Bode, les contrôles dynamiques et le lien entre les diagrammes de Bode et de Nyquist.
Systèmes logiques : Machines à états finis
Explore l'algèbre booléenne, l'optimisation, les systèmes séquentiels et la conception de machines à états finis.
Algèbre booléenne : propriétés et optimisation
Explore les propriétés de l'algèbre booléenne et les techniques d'optimisation en utilisant les diagrammes de Karnaugh et les théorèmes de De Morgan.
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.