Lehrveranstaltungen im Sommersemester 2000
Vorlesung
Geschichte der Algebra
; Mo 11-13 Uhr; Hörsaal N 9; Prof. Felgner
Vorlesung Mathematik IV für Bioinformatiker (Diskrete Mathematik und Logik); Mi 10-12 Uhr; Hörsaal 1B01; Prof. Felgner
Übungen zur Vorlesung Mathematik IV für Bioinformatiker (Diskrete Mathematik und Logik); Do 16-18 Uhr; Seminarraum S8; Torsten Schatz
Seminar (Mathematische Logik, Mengenlehre); Mo 14-16 Uhr; Seminarraum S 9; Prof. Felgner
Arbeitsgemeinschaft Modelltheorie und Mengenlehre
5. Juni 2000
14
c.t.
Eberhard Guhe
Der Originalbeweis des Gödelschen Vollständigkeitssatzes
26. Juni 2000
14
c.t.
Ulrich Felgner
Aronszajn-Bäume
3. Juli 2000
14
c.t.
Reinhard Kahle
Die Hilbert-Paradoxie
17. Juli 2000
14
c.t.
Martin Leitz-Martini
Existenz alpha+-saturierter Ultraprodukte
Zurück zur Homepage des Arbeitsbereichs Mathematische Logik