Seminar: | Logik und Komplexität |
Dozent: | Prof. Dr. Jörg Flum |
Zeit/Ort: | Mi 9-11 Uhr, SR 318, Eckerstr.1 |
Tutorium: | Moritz Müller |
Inhalt:
Das Seminar behandelt Themen der algorithmischen Modelltheorie. Interessenten mögen sich bitte mit Herrn Prof.Dr.Flum oder Herrn Müller in Verbindung setzen.
Typisches Semester: | Hauptstudium |
Studienschwerpunkt: | Mathematische Logik |
Notwendige Vorkenntnisse: | Mathematische Logik und Modelltheorie |