| Logbuch zu Logik, Spiele und Automaten |
|
-
Mi, 18.10.2006: Einführung. Motivation:
Model-Checking, Definition von Transitionssystemen und den von
ihnen erkannten Sprachen, Bisimulation. Skript Kapitel 1 bis
einschließlich Satz 1.14.
-
Mo, 23.10.2006: Baumabwicklungen, Spiele, Strategien und
Gewinnstrategien, determinierte Spiele, Definition des
Bisimulationsspiels. Bis vor Satz 2.11.
-
Mi, 25.10.2006: Satz 2.11 über den Zusammenhang von
Bisimulation und dem Bisimulationsspiel; Einfache Spiele bis
einschließich Satz 2.17.
-
Mo, 30.10.2006: Linearzeit-Algorithmus für
das Spielproblem. Einführung der Modallogik. Bis
Beispiel 3.4 einschließlich.
-
Mi, 1.11.2006: Spieltheoretische Semantik der
Modallogik. Kapitel 3.1 abgeschlossen.
-
Mo, 6.11.2006: Kapitel 3.2 abgeschlossen.
-
Mi, 8.11.2006: Kapitel 3.3 komplett.
-
Mo, 13.11.2006: Kapitel 3.4 und Anfang von Kapitel 4.1
bis einschließlig Lemma 4.5.
-
Mi, 15.11.2006: Sprachen und LTL; CTL und CTL*; Bis
einschließlig Bemerkung 4.17.
-
Mo, 20.11.2006: Abschluss des Kapitels über CTL*;
-
Mi, 22.11.2006: Kapitel 5 über
Büchi-Automaten. Kapitel 5.1 und Anfang von 5.2 bis Beispiel 5.17.
-
Mo, 27.11.2006: Abschluss von Kapitel 5.2:
Abschlusseigenschaften Büchi-erkennbarer Sprachen
-
Mi, 29.11.2006: Deterministische Büchi-Automaten und
der Komplementabschluss Büchi-erkennbarer Sprachen. Bis Lemma
5.34.
-
Mo, 4.12.2006: Komplementabschluss Büchi-erkennbarer
Sprachen. Kapitel 5.4 beendet.
-
Mi, 6.12.2006: Muller Automaten, Kapitel 5.5. Kapitel 5.6
angefangen.
-
Mo, 11.12.2006: Übersetzung von LTL in
Büchi-Automaten. Bis einschließlich Theorem 5.53.
angefangen.
-
Mi, 13.12.2006: Abschluss des Kapitels 5. Einführung
in Ordinalzahlen bis B.8 (Appendix B).
-
Mo, 18.12.2006: Abschluss von Appendix B. Einführung in
kleinste und größte Fixpunkte monotoner Funktionen. Bis
Beispiel 6.5.
-
Mi, 20.12.2006: Fixpunkte modallogischer Formeln. Bis
Lemma 6.13.
-
Mo, 15.1.2007: Syntax und Semantik des modalen
mu-Kalküls. Einbettung von CTL in den Kalkül. Bis Satz
6.22.
-
Mi, 17.1.2007: Abschluss von Satz
6.22. Infinitäre Modallogik und die Bisimulationsinvarianz
des mu-Kalküls. Anfang von Kapitel 7 bis Lemma 7.4.
-
Mo, 22.1.2007: Beweis der Determiniert von
Paritätsspielen. Bis Korollar 7.12.
-
Mi, 24.1.2007: Komplexität von Paritätsspielen
und Auswertungsspiele für den mu-Kalkül. Bis Definition 7.24.
-
Mo, 29.1.2007: Abschluss des Kapitels 7. Der letzte Teil
über die Alternationshierarchie wurde nicht behandelt und ist
auch nicht prüfungsrelevant.
-
Mi, 31.1.2007: Kapitel 8: Paritäts- und
Muller-Baumautomaten, die LAR-Konstruktion, bis zu Theorem 8.15.
-
Mo, 5.2.2007: Komplementabschluss von Baumautomaten
-
Mi, 7.2.2007: Leerheitstest für Baumautomaten und
Einführung in MSO.
|
