Catégorie
Algèbre de Boole (logique)
Séances de cours associées (72)
Définitions de la valeur et conditions
Couvre les expressions conditionnelles et booléennes, les règles de réécriture et les définitions de valeurs.
Conception de sous-systèmes Datapath
Couvre la conception des sous-systèmes de chemin de données, en se concentrant sur les composants combinatoires de base et diverses options de mise en œuvre pour les additionneurs, les multiplicateurs et les leviers de vitesses.
Logique propositionnelle : Formes normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
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.
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.
Logique propositionnelle : Formes et applications normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.
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.
Logique propositionnelle : Formes normales
Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.
MIPS ISA: Classes d'instruction et modes d'adressage
Explore les cours d'instruction MIPS ISA, l'organisation de la mémoire et les modes d'adressage, y compris les exemples et l'endianité.
Ordinateur arithmétique (entiers)
Couvre la représentation binaire, le complément de deux, la détection de débordement, et les opérations en MIPS pour l'arithmétique informatique avec entiers.