Lehre
Logik, Spiele und Automaten

Vorlesung Logik, Spiele und Automaten

Aktuelles   Einführung   Logbuch   Software   Inhaltsverzeichnis   Vorlesung   Übungen   Aufgaben   Prüfung    Skript    Literatur

Aktuelles

Vorlesung und Übung fallen am 8.1.2007 sowie am 10.1.2007 aus. Der nächste Vorlesungstermin ist daher der 15.1.2007.

Die in der Vorlesung angesprochene Software ist nun von dieser Seite verfügbar.

Das Skript zu Kapitel 3 wurde erweitert. Bitte ergänzen Sie Ihre Unterlagen.

An dieser Stelle finden Sie im Laufe der Vorlesung aktuelle Mitteilungen. Bitte sehen Sie regelmäßig nach, ob es Neues gibt.

 

Einführung

Thema der Vorlesung sind die theoretischen Grundlagen des Entwurfs und der Verifikation reaktiver Systeme, wie beispielsweise Kontrollsysteme oder Kommunikationsprotokolle. Methodisch stützt sich die Theorie auf eine Kombination von Automatentheorie, logischen Systemen zur Beschreibung von Berechnungen, und unendlichen Zwei-Personenspielen. Die Vorlesung gibt eine Einführung in die einzelnen Methoden und vor allem in die Zusammenhänge zwischen den Methoden. Besonderes Augenmerk wird dabei auf algorithmische Anwendungen im Bereich des Systementwurfs und der Verifikation gerichtet.

Software

Hier finden Sie das in der Übung vorgestellte Programm GrALoG. Zum Starten des Programms müssen Sie sich die jar-Datei auf Ihren Computer laden und dann das Programm mit "java -jar games.jar" starten. Bitte beachten Sie, dass Sie die Java-Laufzeitumgebung (jre) ab Version 1.5 installiert haben müssen. Diese können Sie sich gegebenenfalls von http://java.sun.com kostenlos installieren.

Inhaltverzeichnis

  1. Transitionssysteme
  2. Spiele
  3. Modallogik
  4. Temporale Logik
  5. Automaten auf unendlichen Wörtern
  6. Der modale µ-Kalkül
  7. Alternierende Baumautomaten
  8. Gale-Stewart und Borel-Spiele

Logbuch

Hier finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungen und gelegentlich ergänzende Bemerkungen.

Informationen zum Vorlesungsbetrieb

Zeiten und Raum
Montags und Mittwochs, 11-13 Uhr im Johann von Neumann Haus, Rudower Chaussee 25, Raum 4.112
Vorlesungsbeginn ist Mittwoch, der 18.10.2006.
 
Dozent
Prof. Dr. Stephan Kreutzer

Übungen

Ergänzend zu den Vorlesungen finden 2-stündige Übungen statt.

Zeit und Raum
Montags, 13 - 15 Uhr im Johann von Neumann Haus, Rudower Chaussee 25, Raum 4.112
 
Übungsleiter
Prof. Dr. Stephan Kreutzer

Übungsaufgaben

Es wird regelmäßig Übungsaufgaben geben, deren erfolgreiche Bearbeitung (mindestens 40% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.

Prüfung

Zu Beginn der Semesterferien finden mündliche Prüfungen statt. Für die Zulassung zur Prüfung müssen mindestens 40% der Punkte in den Übungaufgaben erworben werden.

Materialien

Zu der Vorlesung wird ein ausfürliches Skript erstellt. Sie erhalten jeweils zu Beginn eines neuen Kapitels den entsprechenden Teil des Skriptes. Das Skript ist nur lokal zugänglich.

Literatur

Die Vorlesung orientiert sich nicht an einem konkreten Buch. Literaturangaben zu den einzelnen Teilen der Vorlesung wird jeweils in der Vorlesung bekannt gegeben.
Arbeitsgruppe Logik in der Informatik