Éléments de logique propositionnelle. Ensembles. Suites et fonctions. Algorithmes. Matrices booléennes. Raisonnement mathématique. Induction. Combinatoire. Relations de récurrence. Graphes, Arbres.
- Enseignant: Mattéo Delabre
- Enseignant: Frédéric Dupont-Dupuis
- Enseignant: Abdel Ghani Labassi
- Enseignant: Louis Salvail