Introduit des relations binaires, des fonctions et divers types de relations dans des ensembles.
Explore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.
Couvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.
Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.
Couvre les fonctions, y compris les fonctions paires et impaires, la périodicité et les opérations de fonction.
