Explore les représentations entières, en se concentrant sur le signe et la magnitude, son complément, le complément à deux, l'excès-N, le débordement, le sous-flux et la multiplication binaire.
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.
