Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Explore l'évolution des systèmes numériques, couvrant les bases comme l'algèbre booléenne et les portes logiques, et met l'accent sur les compétences de travail d'équipe et le vocabulaire professionnel.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.
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.
Couvre les opérations de base sur les tableaux et les fonctions de Matlab, y compris la création de tableaux, les opérations arithmétiques et les définitions de fonctions.