Couvre la multiplication matricielle, les propriétés et la matrice d'identité dans les opérations algébriques.
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.
Couvre les concepts fondamentaux liés aux entiers, y compris les propriétés des ensembles bien ordonnés et le principe d'induction.
Couvre les entiers, les anneaux, les sous-anneaux, l'inversibilité, les diviseurs de zéro et les relations d'équivalence dans les fractions formelles.
