Vorlesung Logik II
(WiSe 2018/2019)
Aufbauend auf der Vorlesung Logik 1 werden in der Vorlesung grundlegende Resultate aus der Modelltheorie behandelt.
Literatur:
- K. Tent und M. Ziegler: A Course in Model Theory, Cambridge University Press (2012).
- D. Marker: Model Theory: An Introduction, Springer (2002).
- B. Poizat: A Course in Model Theory, Springer (2000).
- W. Hodges: A Shorter Model Theory, Cambridge University Press (1997).
- W. Hodges: Model Theory, Cambridge University Press (1993).
- C. Chang und H. Keisler: Model Theory, North-Holland Publishing Co. (1990).
Zeit/Ort:
Die Vorlesung findet ab Montag, den 8.10.18, immer montags und
donnerstags
von 08:25 Uhr bis 10:00 Uhr statt.
Link zum Vorlesungsverzeichnis
Übungsbetrieb:
Begleitend zur Vorlesung gibt es Übungen, deren Besuch dringend
empfohlen wird. Der Termin ist mittwochs,
12:15-14:00 Uhr, in M2.
Das erste Tutorat findet am 17.10.18 statt.
Die Abgabe ist jeweils donnerstags um 10:00 Uhr in
Briefkasten 161.
Link zum Vorlesungsverzeichnis
Übungsblätter:
Hier gibt es die Übungsblätter:
Vorlesungsnotizen:
Hier gibt es nach jeder Vorlesung handschriftliche Notizen.
Hilfreiche Links
Seminar
Einfache Theorien, Vorlesung Logik 1.