Department Mathematik
print


Navigationspfad


Inhaltsbereich

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

Ü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

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.

Letzte Änderung

14. April 2015