Concept
Functional completeness
Séances de cours associées (11)
Algèbre booléenne : programmation de Python
Présente les concepts d'algèbre booléenne et leur application dans la programmation Python.
Simulation de défaut dans les tests VLSI
Explore la simulation de pannes dans les tests VLSI, couvrant la couverture des pannes, les modèles de pannes, les algorithmes, les types de simulateurs, la simulation déductive et les règles de propagation des pannes.
Circuits numériques: Bases
Couvre le traitement du signal numérique, la logique binaire et booléenne, et des exemples pratiques de circuits numériques.
Introduction: programme de cours
Introduit le programme de cours, le schéma de classement, et les modèles de calcul classique et quantique.
Logique principale : quantificateurs, FNC, DNF
Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.
Logique proposée: Traductions et équivalences
Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.
Optimisation booléenne: MIGs et portes majoritaires
Explore l'optimisation des fonctions booléennes à l'aide de Majority-Inverter Graphs et Majority Gates, y compris les règles algébriques et la synthèse exacte.