• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Logique

  • ECTS

    6 crédits

  • Composante

    UFR Mathématiques

  • Période de l'année

    Semestre 6

Description

Cours d'introduction à la méthode axiomatique.

Lire plus

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.
Lire plus