Arbeitsgemeinschaft: | Logik und Komplexität |
Dozent: | Prof. Dr. Flum |
Zeit/Ort: | Mi 9-11 Uhr, SR125, Eckerstraße 1 |
Tutorium: | Moritz Müller |
Inhalt:
Es werden Themen der algorithmischen Modelltheorie besprochen. 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: | Logik und Modelltheorie |