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