Cours d'orientation de Logique Mathématiques 1

Liste des enseignements

• 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