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)
Teil 8: Begriffsverbände (PDF)
Teil 9: Reduktionssysteme, formale Grammatiken, L-Systeme (PDF)
Teil 10: Relationale Wachstumsgrammatiken, zelluläre Automaten (PDF)
Teil 11: Modelle für Nebenläufigkeit: Transitionssysteme (PDF)
Teil 12: Petrinetze (PDF)

Letzte Änderungen: 30. 1. 2014.