Logique

Syllabus

Introduction à la méthode axiomatique ; 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.

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