ECTS
6 crédits
Composante
UFR Mathématiques
Période de l'année
Semestre 6
Description
Cours d'introduction à la méthode axiomatique.
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.
Dernière mise à jour le 17 octobre 2023
