Seminar: | Logik und Komplexität |
Dozent: | Prof. Dr. Jörg Flum |
Zeit/Ort: | Mi 11-13 Uhr, SR 318, Eckerstraße 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 |