Logique : équivalence logique, quantificateurs, techniques de preuve, principe d'induction mathématique. Ensembles : opérations élémentaires, familles indexées, produit cartésien, relations d'ordre et d'équivalence. Fonctions : injectivité, surjectivité, bijectivité, image, image réciproque, composition, inversibilité. Entiers : arithmétique, divisibilité, congruence modulo N. Polynômes : arithmétique, divisibilité, irréductibilité, racines. Initiation aux structures algébriques : anneaux et corps.
Logique : équivalence logique, quantificateurs, techniques de preuve, principe d'induction mathématique. Ensembles : opérations élémentaires, familles indexées, produit cartésien, relations d'ordre et d'équivalence. Fonctions : injectivité, surjectivité, bijectivité, image, image réciproque, composition, inversibilité. Entiers : arithmétique, divisibilité, congruence modulo N. Polynômes : arithmétique, divisibilité, irréductibilité, racines. Initiation aux structures algébriques : anneaux et corps.
