Relations en informatiqueExplore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.
Ensembles et fonctionsIntroduit des relations binaires, des fonctions et divers types de relations dans des ensembles.
Fonctions et entiersCouvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.
