III 9 ECTS | Bewertete Körper | A. Martín Pizarro |
| Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b | ||
| Übungen dazu: 2-stündig n.V. | ||
| Tutorium dazu | D. Palacin Cruz | |
E*, III 9 ECTS | Modelltheorie | M. Junker |
| Vorlesung: Mo, Mi 12-14, SR 404, Ernst-Zermelo-Straße 1 | ||
| Übungen dazu: 2-stündig n.V. | ||
| Tutorium dazu | D. Palacin Cruz | |
III 9 ECTS | Unabhängigkeitsbeweise | H. Mildenberger |
| Vorlesung: Di, Do 10-12, SR 404, Ernst-Zermelo-Straße 1 | ||
| Übungen dazu: 2-stündig n.V. | ||
| Tutorium dazu | B. Stuber-Rousselle | |
| Logik für Studierende der Informatik | A. Martín Pizarro | |
| Vorlesung: Mo 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee | ||
| Übungen dazu: 2-stündig n.V. | ||
| Tutorium dazu | M. Lösch | |
| Seminar: Die Keisler-Ordnung | H. Mildenberger | |
| Di 16-18, SR 403, Ernst-Zermelo-Straße 1 | ||
| Tutorium dazu | G. Laguzzi | |
| Oberseminar: Mathematische Logik | A. Martín Pizarro, H. Mildenberger | |
| Mi 16-18, SR 404, Ernst-Zermelo-Straße 1 | ||
Hier finden Sie eine alte Liste der vorigen Vorlesungen als Auszug aus den Vorlesungsverzeichnissen der vergangenen Semester.
