Introduction à la logique mathématique

Master 1 Avancé, second semestre 2019-2020
I. Ben Yaacov et F. Wagner


Horaires:
Cours : Les mardis de 13h30 à 15h30, salle 125 Braconnier, La Doua.
TD : Les mardis de 15h45 à 17h45, salle 125 Braconnier, La Doua.

Notes de cours :
Première partie : Théorie des ensembles
Deuxième partie : Théorie des modèles, version finale
Notes de cours du 31 mars Notes de cours du 7 avril Notes de cours du 14 avril

Feuilles de TD :
Théorie des ensembles : Feuille 1 Feuille 2 Feuille 3
Théorie des modèles : Feuille 5 Feuille 6 Feuille 6 Corrigé Feuille 7 Feuille 7 Corrigé Feuille 8 Feuille 8 Corrigé Feuille 9 Feuille 9 Corrigé

Partiel : Jeudi 27 février 2020, 9h-11h, salle 112, Bâtiment Braconnier. Les notes du cours sont autorisées.
Sujet et corrigé

Examen : Mardi 21 avril, 14h30-17h30.
Sujet et corrigé

Pages des cours des années passées : 2009-2010; 2008-2009; 2007-2008; 2010-2011; 2013-2014