Übung: 14-täglich, gerade Wochen,
montags, 14:15-16:00, FSR4.2
Zeitplan der Vorlesung
19.
10. 2018 |
Aussagenlogik: Syntax, Semantik, Normalformen |
26.
10. |
Horn-Formeln; Beweistheorie der
Aussagenlogik: Resolution |
2. 11. |
Tableaukalkül, Sequenzenkalkül |
9. 11. |
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
16.
11. |
Prädikatenlogik 1. Ordnung: Normalformen,
Beweistheorie; Modallogik |
23.
11. |
Temporale Logik; Relationen, Graphen und
Netzwerke |
30.
11. |
Generalisierungs-Halbordnung,
Inferenzalgorithmen |
7. 12. |
Entscheidungsbäume |
14.
12. |
Algebraische Strukturen: Gruppoide,
Halbgruppen, Gruppen, Verbände |
21.
12. |
Begriffsverbände |
11.
1. 2019 |
Regelbasierte Systeme: Reduktionssysteme,
formale Grammatiken, L-Systeme |
18.
1. |
Relationale Wachstumsgrammatiken und
L-System-Erweiterungen |
25.
1. |
Zelluläre Automaten; Modelle für
Nebenläufigkeit: Transitionssysteme (1.) |
1. 2. |
Transitionssysteme (2.), Petrinetze |
zurück zur Homepage der Veranstaltung
Letzte
Änderung: 1. 10. 2018