Study programme 2018-2019 | Français | ||
Mathematical logic I | |||
Activité d'apprentissage à la Faculty of Science |
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
S-MATH-021 |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 35 | 15 | 0 | 0 | 0 | Q1 |
Content of Learning Activity
See the content of the Course.
Required Learning Resources/Tools
See the pages on Moodle platform.
Recommended Learning Resources/Tools
Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002.
Other Recommended Reading
Chang et Keisler, Model Theory, North-Holland.
Barwise, Handbook of mathematical logic, North-Holland.
Poizat B., Cours de théorie des modèles, 1985, Nur Al-Mantiq Wal-Ma'rifah. [Version anglaise éditée chez Springer en 2000.]
Hodges, W., Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993.
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)