Logic and
Theory of
Discrete Systems

Informatik 7

Infinite Computations and Games

Themen der Vorlesung sind unter anderem:

  • Automaten auf unendlichen Wörtern (grundlegende Definitionen und Konstruktionen)
  • Deterministische Automaten und Klassen von Akzeptanzbedingungen
  • Unendliche Spiele als Modelle von reaktiven Systemen
  • Automaten auf unendlichen Bäumen und ihre Verbindung zu Spielen
  • Anwendungen in den Bereichen Logik, Verifizierung und Synthese

Die Vorlesung richtet sich ausschliesslich an Studierende im Master. Vorkenntnisse im Bereich Automatentheorie (zum Beispiel aus der FoSAP Vorlesung) werden für die Teilnahme an dieser Veranstaltung vorausgesetzt.

Vorlesungen

Montag 13:15-14:00 (AH I) und Donnerstag 10:15-11:45 (5055)

Übung: Montag 14:15-15:45 (AH II)

Die Veranstaltungssprache ist Englisch.

FaLang translation system by Faboba