Proseminar und Seminar Mathematische Logik Programm

Universität Heidelberg / Institut für Informatik
Prof. Dr. Klaus Ambos-Spies
Dipl.-Math. Thorsten Kräling
31. Januar 2012
Proseminar und Seminar Mathematische Logik
Sommersemester 2012
Programm
Teil I: Entscheidbarkeitsfragen in der Logik
Mo 07.05.12
Nadine Losert:
Registermaschinen und das Halteproblem (A)
Literatur: Ebbinghaus, Flum, Thomas [4], Kapitel X.1-3 (Seiten 163 - 181)
Mo 07.05.12
Sascha Zilli:
Unentscheidbarkeit der Prädikatenlogik erster Stufe und der Satz von Trachtenbrot (A)
Literatur: Ebbinghaus, Flum, Thomas [4], Kapitel X.4-5 (Seiten 181 - 187)
Mo 14.05.12
Ivan Titov:
Unentscheidbarkeit der Arithmetik (A)
Literatur: Ebbinghaus, Flum, Thomas [4], Kapitel X.6 (Seiten 187-195)
Mo 14.05.12
Sebastian Scholz:
Selbstreferenz und die Unvollständigkeitssätze von Gödel (A)
Literatur: Ebbinghaus, Flum, Thomas [4], Kapitel X.7 (Seiten 195-202)
Mo 21.05.12
Munir Hiabu:
Das Erfüllbarkeitsproblem der Aussagenlogik und der Satz von Cook (A)
Literatur:
Mo 21.05.12
Jay-Soo Lee:
Quantorenelimination (K)
Literatur: Rothmaler [5], Kapitel 9.2-9.3 (Seiten 171-181), Marker[6], ex Chapter 3 (Seiten 71-75)
Teil II: Mengenlehre
Mo 04.06.12
Thorsten Kalter: (Proseminar)
Die Axiome der Mengenlehre nach Zermelo-Fraenkel: Teil 1 (A)
Literatur: Ebbinghaus [1], Kapitel III.1 (Seiten 29-48)
Mo 04.06.12
Dominik Reinhart:
Die Axiome der Mengenlehre nach Zermelo-Fraenkel: Teil 2 (A)
Literatur: Ebbinghaus [1], Kapitel III.5-7 und Kapitel IV (Seiten 49-69)
Mo 11.06.12
Niroja Sivanesan:
Natürlichen Zahlen und Endlichkeit in der axiomatischen Mengenlehre (K)
Literatur: Ebbinghaus [1], Kapitel V (Seiten 71-92)
Mo 11.06.12
Sandra Schurdak:
Ordinalzahlen (K)
Literatur: Ebbinghaus [1], Kapitel VI (Seiten 93-106)
Mo 18.06.12
Nicolas Amann:
Ordinalzahlarithmetik und Normalfunktionen (K)
Literatur: Gloede [2], Kapitel II.7 (Seiten 47-56)
Mo 18.06.12
Jana Mille:
Die Von-Neumannsche Hierarchie (K)
Literatur: Ebbinghaus [1], Kapitel VII (Seiten 107-119) und Teile aus Kapitel X (Seiten 163-185)
Mo 25.06.12
Onno Kleen:
Das Auswahlaxiom: Äquivalente Formulierungen und Konsequenzen (K)
Literatur: Ebbinghaus [1], Kapitel VIII (Seiten 121-129)
Mo 25.06.12
Franziska Storz:
Kardinalzahlarithmetik und die Kontinuumshypothese (A)
Literatur: Ebbinghaus [1], Kapitel IX.1-IX.4 (Seiten 131-161)
Mo 02.07.12
Michael Bogdan:
Das Axiom der Determiniertheit (K)
Literatur: Jech [3], Chapter 12.3 (Seiten 176-181)
Literatur:
[1] H.-D. Ebbinghaus: Einführung in die Mengenlehre, 3. Auflage. BI Wissenschaftsverlag, 1994.
[2] K. Gloede: Skriptum zur Vorlesung Mengenlehre, 2004. Skriptenseite unter
http://math.uni-heidelberg.de/logic/skripten.html.
[3] T. Jech: The Axiom of Choice. North Holland Publishing Company, 1973.
[4] H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, 4. Auflage.
Spektrum, 1998.
[5] P. Rothmaler: Einführung in die Modelltheorie. Spektrum Akademischer Verlag, 1995.
[6] D. Marker: Model Theory: An Introduction. Springer, 2002.
BETREUER: A = Ambos-Spies, K = Kräling
ZEITEN: Montag, 16.15 - 17.45 Uhr und 18.00 - 19.45 Uhr
RAUM: INF 294 (Angewandte Mathematik), Raum -104 (UG)
ZUORDNUNG: Proseminar und Seminar sind der Mathematik zugeordnet und enthalten
jeweils ein Tutorium (gesamt: 4 SWS).
KONTAKTDATEN:
Klaus Ambos-Spies
Email: [email protected]
Telefon: 06221-54-8203
Büro: INF, Raum 015
Sprechstunde: Im SoSe Mi 10.00 -11.00 Uhr und nach Vereinbarung
(in den Semesterferien nur nach Vereinbarung)
Thorsten Kräling
Email: [email protected]
Telefon: 06221-54-6282
Büro: INF, Raum 006
Sprechstunde: Mi 15.00 - 16.00 Uhr und nach Vereinbarung
(in den Semesterferien nach Vereinbarung)