Éléments de logique propositionnelle. Ensembles. Suites et fonctions. Algorithmes. Raisonnement mathématique. Induction. Combinatoire. Relations de récurrence. Graphes, Arbres.