Introduction à la logique mathématique
Master 1 second semestre 2010-2011
I. Ben Yaacov et T. Blossier
Les cours et travaux dirigés ont lieu tous les jeudis de 14h à 18h15 en salle Forel 102 (sauf le 19/05 en Forel 105).
Notes de cours : Première partie : théorie des ensembles, Seconde partie : théorie des modèles ,
Feuilles de TD : Feuille 1 (corrigé exo11), Feuille 2(corrigé exo2), Feuille 3, Feuille 4 , Feuille 5
Devoirs : Devoir 1( Corrigé), Devoir 2( Corrigé), Devoir 3(Corrigé), Devoir 4
Pages des cours des années passées :
2009-2010;
2008-2009;
2007-2008