Wo verläuft die Grenze zwischen Entscheidbarkeit und Unentscheidbarkeit? Welche Probleme lassen sich mit moderatem Ressourcenaufwand lösen? Wo liegen die Grenzen unserer Methoden zum Nachweis unterer Schranken an den Ressourcenbedarf von Problemen? Was kann überhaupt bewiesen werden?
In diesem Seminar beschäftigen wir uns mit fortgeschrittenen Themen der Theoretischen Informatik.
Das Seminar richtet sich an Bachelorstudierende der Informatik, Angewandten Informatik, ITS und Mathematik.
Voraussetzungen:
- Veranstaltung "Theoretische Informatik"
- Interesse und Spaß an der theoretischen Informatik
- Kursleiter/in: Thomas Zeume
Semester: WT 2023/24