7 Aufgaben, 60 Punkte

Letzte Klausuren

SS 22

1. Einstimmung:
   1. Shannongraphen: Formel und Ordnung gegeben, reduzierten Shannongraphen
   2. Aequivalenz aussagenlogischer Formel
   3. Aeuquivalenz praedikatenlogischer Formeln
   4. Markierungsalgorithmus
2. Partielle Funktionen und Undefiniertheit
3. Kurze konjunktive Normalform (kKNF)
4. Formalisieren in Praedikatenlogik (PL1)
5. Sequenzenkalkuel
6. Spezifikation mit der Java Modeling Language
7. Lineare Temporale Logik (LTL)

WS 21/22

1. Einstimmung:
   1. Shannongraphen: Formel und Ordnung gegeben, reduzierten Shannongraphen
   2. Horn-Formel
   3. Lineare Temporale Logik (LTL)
   4. Unifikation, allgemeinsten Unikator
   5. DPLL-Algorithmus
2. Allgemeingueltigkeit aussagenlogischer Formeln
3. Entscheidungsverfahren fuer uninterpretierte Funktionssymbole
4. Formalisieren in Praedikatenlogik (PL1)
5. Resolutionskalkuel
6. Spezifikation mit der Java Modeling Language