Bloc Logique (6 ou 12 ECTS)

Liste des enseignements

• Au choix : 1 à 2 parmi 5

  • Calculabilité et incomplétude

    12 crédits60h

  • Théorie des ensembles

    6 crédits36h

  • Théories des modèles

    6 crédits36h

  • Théorie de la démonstration

    6 crédits36h

  • Théorie des catégories

    6 crédits24h