Formale Systeme
Vorlesung
W. Kurth

Übersicht (Zeitplan) (HTML)

Folienskript

Teil 1: Aussagenlogik: Syntax, Semantik, Normalformen, Horn-Formeln (PDF)
Teil 2: Aussagenlogische Kalküle (PDF)
Teil 3: Prädikatenlogik 1. Stufe (PDF)
Teil 4: Prädikatenlogische Kalküle, modale und temporale Logik (PDF)
Teil 5: Relationen, Graphen, Inferenz (PDF)
Teil 6: Entscheidungsbäume (PDF)
Teil 7: Algebraische Strukturen (PDF)

Letzte Änderungen: 13. 1. 2026.