Ensembles et fonctions. Lois de la logique, quantificateurs, preuves. Induction, pgcd, nombres premiers, algorithme d’Euclide-Bézout, congruence, récursion. Principes de comptage, structures discrètes, graphes.