Catégorie
Algèbre de Boole (logique)
Séances de cours associées (72)
Modèles graphiques : Représentation des distributions probabilistes
Couvre les modèles graphiques pour les distributions probabilistes à l'aide de graphiques, de nœuds et de bords.
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.
Types booléens et structures de contrôle
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.
Synthèse logique : Concevoir des circuits numériques efficaces
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.
Nombres et booléens
Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.
Élimination de l'arithmétique et des quantificateurs de Presbourg
Couvre l'arithmétique de Presbourg, l'élimination des quantificateurs et la transformation des formules en forme normale disjonctive.
Quantum Circuits: Circuits classiques
Explore les circuits classiques de l'informatique quantique, y compris les fonctions booléennes et les portes réversibles.
Systèmes finis exprimés avec des formules
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.
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.
Deutsch et Josza Problème
Couvre le problème de Deutsch et Josza dans le calcul quantique, en se concentrant sur les fonctions booléennes et les oracles.