• Votre sélection est vide.

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

Logique

  • ECTS

    9 crédits

  • Composante

    UFR Mathématiques

  • Volume horaire

    7h

  • Période de l'année

    Semestre 1

Description

Théorie des ensembles naïve

  • Bons ordres, ordinaux et induction transfinie.
  • Axiome du choix et énoncés équivalents.
  • Cardinaux et arithmétique, les alephs.
  • Cofinalité.
Lire plus

Heures d'enseignement

  • LogiqueCours Magistral3h
  • Logique4h