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, zelluläre Automaten (PDF)
Teil 11: Modelle für Nebenläufigkeit: Transitionssysteme (PDF)
Teil 12: Petrinetze (PDF)
Zurück zur Startseite der Veranstaltung
Letzte Änderungen: 8. 2. 2013.