LFU:online

Vertieftes Verständnis auf dem Gebiet der endlichen Automaten und der Logik; Studierende beherrschen die Konzepte und theoretischen Werkzeuge, die der rechnergestützten Verifikation zugrundeliegen im vollen Umfang und können diese auch gegebenenfalls eigenständig weiterentwickeln.

Diskussion, Vertiefung und Übung der Inhalte der Vorlesung; 

(deterministische, nichtdeterministische, alternierende) endliche Automaten; reguläre Ausdrücke; (schwache) monadische Prädikatenlogik zweiter Stufe; Presburger-Arithmetik; (alternierende) Büchi-Automaten; lineare temporale Logik; Baumautomaten

Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden

Prüfungsimmanente Lehrveranstaltung

Folien sowie Lösungen zu ausgewählten Aufgaben werden online zur Verfügung gestellt.