Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen der Theoretischen Informatik, insbesondere der Logik, Datenbanktheorie 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 tiefergehende Kenntnisse der Theoretischen Informatik voraus. |
