Seminar Aktuelle Themen der Theoretischen Informatik: Logik und Komplexität
Dozent*innen: Prof. Dr. Nicole Schweikardt und Dr. Steffen van Bergerem
Aktuelles
- Die Vorbesprechung und Themenvergabe finden in der zweiten Vorlesungswoche, am Mittwoch, dem 24. April 2024, von 13:30–15:00 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.
- Das Seminar wird in Präsenz durchgeführt.
Thema
Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen der theoretischen Informatik, insbesondere der Logik und Komplexitätstheorie erarbeitet. Ziele sind das Kennenlernen neuer Forschungsergebnisse der theoretischen Informatik, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.
Das Seminar richtet sich an fortgeschrittene Studierende in einem Masterstudiengang, die sich im Bereich theoretische Informatik spezialisieren wollen. Die Teilnahme am Seminar setzt sehr gute und zumindest in einem der o.g. Bereiche auch tiefer gehende Kenntnisse der theoretischen Informatik voraus.
Ort und Zeit
mittwochs, 13:30-15:00 Uhr im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408