Fondement du calcul et du raisonnement

-Logique élémentaire.
-Techniques de preuve (directe, contraposée, absurde, rédaction).
-Théorie des ensembles.
-Fonctions, injectivité, surjectivité.
-Propriétés fondamentales de N. Principe de récurrence.
-Cardinal d'un ensemble, dénombrement élémentaire.

Partie pratique (4hTP) sur logiciel edukera.