Vorlesung Mathematische Logik
Wintersemester 2014/2015
Zeit und Ort
Vorlesung: Di 14-16, Do 14-16 B006; Beginn 07. Oktober 2014.Übung: Do 16-18, B006, Beginn 16. Oktober 2014.
Inhalt
Aussagenlogik. Prädikatenlogik erster Stufe. Termmodelle, Kompaktheitssatz. Kalküle, Gödelscher Vollständigkeitssatz. Rekursive Funktionen. Unentscheidbarkeit, Unvollständigkeit. Der zweite Gödelsche Unvollständigkeitssatz. Axiomatische Mengenlehre.Material
- Skript. Fehler/Verbesserungen bitte per Mail an skripte@christian-ittner.de
- Ergänzende Aufgaben und Notizen, 16.01
Übungen
Bitte melden Sie sich hier an.Übungsblätter werden an dieser Stelle veröffentlicht: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.
Die Lösungen werden in der Übungsstunde präsentiert. Die korriegierten Blätter liegen im Rückgabekasten im 1. Stock.
Abgabe: jeden Donnerstag am Ende der Vorlesung.
Tutorial
Besprechung von Übungsaufgaben und Klärung von Fragen zur Vorlesung.- Felix Quirin Weitkämper, Mi 12-14 A027; Beginn 15. Oktober 2014.
Mitarbeiter und Sprechstunden
- Prof. Dr. Hans-Dieter Donder, Di 13-14, B419.
- Iosif Petrakis, Do 13-14, B420.
- Christian Saile (Korrektur) [saile.christian1[at]googlemail.com] Do 15-16, B420
- Felix Quirin Weitkämper, Mo 13-14, B420
Literatur
- H. D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 1996.
Klausuren
- Klausur: 29.01.2015, Raum C123, 14-16
- Ergebnis
Klausureinsicht: Mi 11.02 (13:00-14:00) und Fr 13.02 (13:00-14:00), Raum B420.
Zeugnis abholen: ab Do 19.02, Raum B420.
- Nachholklausur: 09.04.2015, Raum B005, 14-16.
- Ergebnis
Nachholklausureinsicht: Mi 15.02 (13:00-14:00) und Fr 17.02 (13:00-14:00), Raum B420.