Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250098 PS Introductory seminar on mathematical logic (2020W)
Prüfungsimmanente Lehrveranstaltung
Labels
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 14.09.2020 00:00 bis So 31.01.2021 23:59
- Abmeldung bis So 31.01.2021 23:59
Details
max. 25 Teilnehmer*innen
Sprache: Englisch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Montag 05.10. 09:00 - 10:30 Digital
- Montag 12.10. 09:00 - 10:30 Digital
- Montag 19.10. 09:00 - 10:30 Digital
- Montag 09.11. 09:00 - 10:30 Digital
- Montag 16.11. 09:00 - 10:30 Digital
- Montag 23.11. 09:00 - 10:30 Digital
- Montag 30.11. 09:00 - 10:30 Digital
- Montag 07.12. 09:00 - 10:30 Digital
- Montag 14.12. 09:00 - 10:30 Digital
- Montag 11.01. 09:00 - 10:30 Digital
- Montag 18.01. 09:00 - 10:30 Digital
- Montag 25.01. 09:00 - 10:30 Digital
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
This is an introductory seminar on mathematical logic directly connected with the graduate lecture 250095 VO - Introduction to mathematical logic -., taught by Vera Fischer. Weekly, we will discuss the topics given in the lecture at long, as well as work on exercises related to the topics of the lecture. The goal is to work with the tools given in the lecture and practice how to apply them in different situations. Weekly there will be a list of exercises to hand in and to discuss together.
Art der Leistungskontrolle und erlaubte Hilfsmittel
The final grade will be based on the active participation in the weekly discussions, as well as the hand in of the weekly lists of exercises. In the end, there will be a final individual list of exercises for each student.
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
1) Lecture notes.
2) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press.
3) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics.
4) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.
5) Exercise lists.
2) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press.
3) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics.
4) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.
5) Exercise lists.
Zuordnung im Vorlesungsverzeichnis
MLOL
Letzte Änderung: Fr 12.05.2023 00:21