Vorlesung Mathematische Logik
Wintersemester 2013/2014

Zeit und Ort

Vorlesung: Di 14-16, Do 14-16 B004; Beginn 15. Oktober 2013.
Übung: Do 16-18, B004, Beginn 24. Oktober.

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.

Ü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. 12.
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.

Tutorials

Besprechung von Übungsaufgaben und Klärung von Fragen zur Vorlesung.

• Iosif Petrakis, Mi 12-14, B134, Beginn 23. Oktober 2013.
  Extra notes and exercises, 22.01
• Dr. Basil Karadais, Fr 12-14, B134, und Fr 16-18, B134, Beginn 25. Oktober 2013.
  
  

Mitarbeiter und Sprechstunden

• Prof. Dr. Hans-Dieter Donder, Di 13-14, B419.
• Iosif Petrakis, Mi 14-15, B420.
• Dr. Basil Karadais, Fr 15-16, B420.
• Christian Saile (Korrektur) [saile.christian1[at]googlemail.com] Mi 16:00-17:00
• Lucas Hoffmann (Korrektur) [lucas.hoffmann@campus.lmu.de] Di 10:30-11:30 (Gumbel)

Literatur

• H. D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Akademischer Verlag, 1996.

Klausuren

• Klausur: 24.02.2014, Raum C123, 13:00-16:00
• Ergebnis
  Klausureinsicht: Fr 07.03 (13:00-15:00) und Mo 10.03 (13:00-15:00), Raum B420.
  Zeugnis abholen: ab Di 11.03, Raum B420.
  
• Nachholklausur: 03.04.2014, Raum C123, 13:00-16:00
• Ergebnis
  Klausureinsicht: Mi 09.04 (13:00-14:00) und Fr 11.04 (13:00-14:00), Raum B420.
  

Letzte Änderung

07. April 2014