Di, 25.4.06: Wiederholung Prädikatenlogik (Syntax und Semantik, Substitution, pränexe Normalform, Vollständigkeitssatz für Hilbertkalkül)
Do, 27.4.06: Kompaktheitssatz, Unentscheidbarkeit und
rekursive Aufzählbarkeit der allgemeingültigen Sätze der Logik der
1. Stufe, Erfüllbarkeitsäquivalenz, Elimination von Existenzquantoren und
Skolemnormalform, konjunktive Normalform und Klauselnormalform, Herbrandstrukturen.
Di, 2.5.06: Beweis des Satzes von Herbrand, Grundtableaus
Do, 4.5.06: Freie Variablen Tableaus
Di, 9.5.06: Unifikation
Do, 11.5.06: Korrektheit des Unifikationsalgorithmus,
Repräsentation von Termen durch gerichtete azyklische Graphen,
Unifikation von Mengen von Termen, Unifikation von Literalen,
eingeschränkte Substitutionsregel in FV-Tableaus
Di, 16.5.06: Gleichheit als Theorie
Do, 18.5.06: Gleichheit als Kalkül, Korrektheit
Di, 23.5.06: Gleichheit als Kalkül, Vollständigkeit;
nichtdeterministische Prozedur, nichtdeterministischer Suchbaum
Di, 30.5.06: Determinisierungen der Prozedur
Last modified: Tue May 9 20:46:48 CEST 2006
Martin Grohe
