Dozent: Herr Dr. Merlin Carl
Tutoren: Herr Johannes Fahrner, Herr Simon Müller
E-Mail-Adressen: Vorname.Nachname@uni-konstanz.de
Termine: Mittwoch 11.45-13.15 (D 406).
Hier finden Sie den Eintrag im Vorlesungsverzeichnis mit weiteren Informationen.
Literatur zur Vorlesung
Die Vorlesung wird sich hauptsächlich am Buch "Einführung in die mathematische Logik" von H.-D. Ebbinghaus, J. Flum und W.Thomas orientieren.
Ein weiterer einführender Text zur mathematischen Logik ist das Buch von A. Prestel und C.N. Delzell: "Mathematical Logic and Model Theory. A Brief Introduction."
Ein Skript zur Vorlesung über den Unvollständigkeitssatz steht hier.
Übungsblätter
Die Bearbeitungen der Übungsblätter sind am Übungstermin der auf die Ausgabe folgenden Woche abzugeben.
Hinweis: Gegenüber der Fassung, die hier eingestellt wird, können sich bis zur Ausgabe noch einzelne Änderungen ergeben. Gültig ist jeweils die Fassung, die in der Vorlesung als Ausdruck ausgeteilt wird.
Die zur Lösung der Zusatzaufgabe von Zettel 12 erforderliche Beilage