Formale Systeme
Vorlesung
W. Kurth
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 (PDF)
Teil 11: Ontologien (PDF)
Teil 12: Zelluläre Automaten (PDF)
Teil 13: Modelle für Nebenläufigkeit: Transitionssysteme (PDF)
Teil 14: Petrinetze (PDF)
Zurück zur Startseite der Veranstaltung
Letzte Änderungen: 10. 2. 2016.