Prérequis
ValidationCC avec ET
Enseignant
Horaires hebdomadaires 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.