Mathematischen Logik im Diplomstudium Mathematik
Die Arbeitsgruppe Mathematische Logik vertritt das Vertiefungsgebiet Logik und Grundlagen der Mathematik (Reine Mathematik) im Sinne der Studienordnung für den Diplomstudiengang Mathematik. Einführende Vorlesungen sind die Module: Mathematische Logik, Mengenlehre (Bachelor) und Higher Set Theory (Master). Weiterführende Vorlesungen sind Models of Set Theory I, Models of Set Theory II und Advanced Topics in Mathematical Logic (Master).
Außerdem werden Seminare in Form der Module Seminar, Hauptseminar Mathematische Logik (Bachelor) und Graduate Seminar on Logic, Graduate Seminar on Set Theory (Master) angeboten. Desweiteren wird regelmäßig ein Praktikum Mathematische Logik (Bachelor) und ein Practical Project in Mathematical Logic (Master) angeboten.
Diplomarbeiten werden individuell betreut und durch die Module Begleitseminar zur Bachelorarbeit und Master Thesis Seminar ergänzt.
Für eine Prüfung in Reiner Mathematik kommt nach Absprache z.B. der Stoffumfang der Vorlesungen Mathematische Logik, Mengenlehre und Models of Set Theory I in Frage. Bei Interesse an einer Diplomarbeit in der Logik kommen sie bitte in die Sprechstunde von Herrn Prof. Koepke.
Übersicht über den Vorlesungszyklus Mathematische Logik
Wintersemester 2007/8
- Models of Set Theory II
- Advanced Topics in Mathematical Logic - Nonstandard Analysis
Sommersemester 2008:
- Mathematische Logik
Wintersemester 2008/9
- Mengenlehre
- Higher Set Theory
Sommersemester 2009
- Models of Set Theory I
Wintersemester 2009/2010
- Models of Set Theory II