In der Vorlesung werden die tiefliegenden Theorien dargestellt, die Automaten, Prädikaten- und modale Logiken sowie unendliche Spiele miteinander verbinden.
Endliche Automaten, Prädikaten- und modale Logiken sowie unendliche Spiele sind untrennbar durch eine tiefliegende Theorie miteinander verbunden, die als solche eines Studiums würdig ist. Den Studentinnen und Studenten sollen diese Theorie begreifen.
Endliche Automaten auf unendlichen Wörtern und Bäumen, Determinisierung von omega-Automaten, Komplementierung von Rabin Baumautomaten, monadische Logik zweiter Stufe, modaler mu-Kalkül, Paritätsspiele, Algorithmen zur Lösung dieser.
Bachelorabschluss in Informatik
mündliche Abschlussprüfung
Erich Grädel, Wolfgang Thomas, Thomas Wilke, Automata, Logic, and Infinite Games, Hrg., LNCS 2500, Berlin/Heidlberg: Springer, 2003.