Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
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.
Explore la conception de circuits protéiques pour les opérations logiques et les conversions analogiques-numériques dans les systèmes vivants, avec des applications thérapeutiques directes.
Fournit une vue d'ensemble des circuits logiques numériques, en se concentrant sur les systèmes de mémoire et les décodeurs binaires, y compris leurs protocoles de fonctionnement et d'accès.
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.