PrérequisMathématiques du L1 et du L2
ValidationCC avec ET
Enseignant
Horaires hebdomadaires 2 h CTD

Syllabus

Ce cours est une introduction à la méthode axiomatique. Il vise notamment :

  • la 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 $\mathbb{R}$.

Sommaire

  • Ordre, axiomatisation des entiers naturels.
  • Théorie des ensembles naïve.
  • Construction des ensembles de nombres.