Arbeitsgemeinschaft: | Logik und Komplexität |
Dozent: | Prof. Dr. Jörg Flum |
Zeit/Ort: | Fr 8-10 Uhr, SR 125 Eckerstr. 1 |
Tutorium: | N.N. |
Inhalt:
Das Seminar behandelt Themen der algorithmischen Modelltheorie. Interessenten mögen sich bitte mit Herrn Prof. Dr. Flum in Verbindung setzen.
Typisches Semester: | Hauptstudium |
Studienschwerpunkt: | Mathematische Logik |
Notwendige Vorkenntnisse: | Mathematische Logik und Modelltheorie |