The following information on courses is only available in German.
II 9 ECTS | Mathematische Logik | M. Junker |
| Vorlesung: Mo, Mi 14-16, HS II, Albertstr. 23b | ||
| Übung (2-stündig): Termin wird noch festgelegt | ||
| Assistenz | Ch. Bartnick | |
III 9 ECTS | Mengenlehre – Unabhängigkeitsbeweise | H. Mildenberger |
| Vorlesung: Di, Do 10-12, SR 404, Ernst-Zermelo-Straße 1 | ||
| Übung (2-stündig): Termin wird noch festgelegt | ||
| Assistenz | Ch. Bräuninger | |
III 9 ECTS | Modelltheorie II | A. Martín Pizarro |
| Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b | ||
| Übung (2-stündig): Termin wird noch festgelegt | ||
| Assistenz | F. Gallinaro | |
III 6 ECTS | Descriptive Set Theory | M. Levine |
| Vorlesung: Do 14-16, SR 404, Ernst-Zermelo-Straße 1 | ||
| Übung (2-stündig): Termin wird noch festgelegt | ||
| Assistenz | M. Levine | |
III 6 ECTS | Rekursionstheorie | H. Mildenberger |
| Vorlesung: Mo 16-18, SR 404, Ernst-Zermelo-Straße 1 | ||
| Übung (2-stündig): Termin wird noch festgelegt | ||
| Assistenz | F. Gallinaro | |
| Oberseminar: Mathematische Logik | A. Martín Pizarro, H. Mildenberger | |
| Di 14:30-16, SR 404, Ernst-Zermelo-Straße 1 | ||
Hier finden Sie eine alte Liste der vorigen Vorlesungen als Auszug aus den Vorlesungsverzeichnissen der vergangenen Semester.
