Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen im Bereich Logik und Komplexität erarbeitet.Ziele sind das Kennenlernen neuer Forschungsergebnisse, 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 Logik und Komplexität spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Logik in der Informatik", "Logik und Komplexität", "Einführung in die Komplexitätstheorie" oder "Einführung in die Datenbanktheorie" vermittelt werden, voraus.
Vertiefungsschwerpunkt: Algorithmen und Modelle
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2026 gefunden:
