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 im 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 tiefergehende Kenntnisse der Theoretischen Informatik voraus.
Vertiefungsschwerpunkt: Algorithmen und Modelle
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2024 gefunden:
