Introduction à la logique
mathématique
Master 1 Avancé, second semestre 2013-2014
T. Altinel et
F. Wagner
Horaires:
Cours : Les mardis de 14h à 16h, salle 5 déambulatoire, La Doua.
TD : Les mardis de 16h15 à 18h15, salle 5 déambulatoire, La Doua.
Attention : Le cours et les TD du mardi 13 mai sont reportés au
jeudi 15 mai, de 14h à 16h et de 16h15 à 18h15, salle Thémis 47.
Notes de cours :
Première partie : Théorie des ensembles
Deuxième partie : Théorie des modèles
Feuilles de TD :
Théorie des ensembles : Feuille 1
Feuille 2 Feuille 3 Feuille 4
Théorie des modèles : Feuille 5
Feuille du 24 mars
Feuille 6 Feuille 7
Partiel : Le mardi 18 mars 2014, 14h-16h.
Le sujet et son
corrigé
Examen : Le mardi 20 mai 2014, 14h-17h.
Archive
Examen 2012 avec son
corrigé.
Examen 2013 avec son
corrigé.
Pages des cours des années passées :
2009-2010;
2008-2009;
2007-2008
2010-2011