Théorie des ensembles
Polycopié première partie.
(Notes de l'an dernier susceptibles d'être modifiées.)
TD : fiche 1, fiche 2, fiche 3.
Partiel avec corrigé.
Les notes du cours Logique et théorie des ensembles de Patrick Dehornoy fournissent une bonne ressource bibliographique pour cette partie.
Autre référence bibliographique : Jean-Louis Krivine, Théorie des ensemble, Cassini 2007.
Théorie des modèles
Polycopié seconde partie.
(Notes de l'an dernier susceptibles d'être modifiées.)
TD : fiche 4, fiche 5, fiche 6, fiche 7.
Références bibliographiques :
- B. Poizat, Cours de théorie des modèles, Nur Al-Mantiq Wal-Ma'rifah,
Villeurbanne, 1985.
- K. Tent et M. Ziegler, A course in model theory, Lecture Notes
in Logic, ASL, 2012.