Méthodes axiomatiques

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.

• actualités
• calendrier
• accès
• Questions fréquentes
• Contacts