|
|
|
Introduction à la Logique Mathématique (M1) 2009-2010
Le cours et les TDs ont été assurés par T. Blossier et moi-même.
L'examen aura lieu le 20 mai, de 14h à 17h, en salle Thémis 39.
L'emploi des notes de cours est autorisé.
Pour commencer, les notes de cours de théorie des ensembles et
de théorie des modèles.
Voici les feuilles de TD de théorie des ensembles: feuille 1 ,
feuille 2 .
Et pour les fiches de TD de théorie des modèles, cliquer ici: feuille 3 ,
feuille 4 , feuille 5 , feuille 6 .
Enfin, voici les corrigés des DMS: DM1,
DM2,DM3,DM4 et DM5.
(Si vous en avez besoin, voici les sujets des DMS:
DM2,DM3,DM4 et DM5)
Vous êtes invités à consulter les
archives des années précédentes pour consulter
les notes de cours de T. Altinel et
trouver des feuilles d'exercices et sujets de devoir à la maison, dont certains sont corrigés.
Les notes de cours de Patrick Dehornoy fournissent également une bonne ressource bibliographique pour ce cours.
|
|