Logique propositionnelle et des prédicats, ensembles et relations, méthodes de démonstration, récurrence, dénombrement, arithmétique modulaire et graphes.
Recevez un e-mail le jour où il est disponible.