Prérequis
Validation	CC avec ET
Enseignant
Volume hebdomadaire	2 h CM , 3 h TD

Syllabus

Cours d'introduction à la méthode axiomatique.

Sommaire

Objectifs :

maîtrise des notions usuelles sur les ensembles ordonnés, et des constructions ensemblistes élémentaires ;
repérer que des ensembles rencontrés en mathématiques informatique sont dénombrables ou ont même cardinal que R ;
introduction au calcul des prédicats du premier ordre pour les mathématiques et l’informatique.