Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.
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.