Bloc Ouverture : 1 UE au choix parmi les 2

Liste des enseignements

• Au choix : 1 parmi 2

  • Cours d'orientation de Logique Mathématiques 2

    8 crédits

    • Au choix : 1 parmi 9

      • Outils classiques pour la théorie des modèles

        8 crédits

      • Outils classiques pour la correspondance preuves-programmes

        8 crédits

      • Forcing pour les mathématiciens

        8 crédits

      • Automates sur mots finis ou infinis

        8 crédits

      • Théorie descriptive des ensembles et systèmes dynamiques

        8 crédits

      • Complexité algébrique

        8 crédits

      • Groupes et corps stables

        8 crédits

      • Théorie des types homotopiques

        8 crédits

      • Cours invité

        8 crédits

  • Cours d'ouverture de Logique Mathématiques 2

    8 crédits

    • Au choix : 2 parmi 4

      • Modèles de la programmation

        4 crédits

      • Initiation à la preuve formelle assistée par ordinateur

        4 crédits

      • Ouverture I

        4 crédits

      • Ouverture II

        4 crédits