Eléments de la logique - Méthodes de raisonnement - Ensembles - Applications - Relations binaires - Ensemble des nombres entiers - Division Euclidienne dans Z - Algorithme d'Euclide et applications - Nombres premiers - Test de primalité - Décomposition en facteurs premiers.

Temps présentiel : 25 heures

Charge de travail étudiant : 100 heures

Méthode(s) d'évaluation : Examen écrit