Théorie des ensembles
Polycopié première partie.
(Notes des années précédentes susceptibles d'être modifiées.)
TD : fiche 1, fiche 2, fiche 3.
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 des années précédentes susceptibles d'être modifiées.)
TD : fiche 4, fiche 5, fiche 6.
Annales: Examen 2018 (Un corrigé), Examen 2017.
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.