Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.
Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.
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.
Explore l'évolution des systèmes numériques des transistors aux circuits intégrés et leur impact sur les applications grand public et les technologies IoT.
Introduit des conditions en C++, couvrant les déclarations, les opérateurs de comparaison et les opérateurs logiques pour prendre des décisions dans un programme.
Explore les méthodes de représentation d'entiers, comparant signe et grandeur avec le complément de deux, et introduit des représentations en virgule fixe et en virgule flottante.
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.