Vorlesung Logik II (WiSe 2018/2019)

angeboten von JProf. Dr. Franziska Jahnke und Blaise Boissonneau.

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, 14:15-16:00 Uhr, in SR1D. 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:

• Blatt 0 (Anwesenheitsaufgaben für das Tutorat am 17.10.)
• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8

Hilfreiche Links

Seminar Einfache Theorien, Vorlesung Logik 1.