Übung: montags, nur in den
ungeraden Wochen, beginnend am 7. 11. 2022, online (BBB Livestream)
Zeitplan der Vorlesung
28.
10. 2022 |
Aussagenlogik: Syntax, Semantik, Normalformen |
4. 11. |
Horn-Formeln; Beweistheorie der
Aussagenlogik: Resolution |
11.
11. |
Tableaukalkül, Sequenzenkalkül |
18. 11.
|
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
25.
11. |
Prädikatenlogik 1. Ordnung: Normalformen,
Beweistheorie; Modallogik |
2. 12. |
Temporale Logik; Relationen, Graphen und
Netzwerke |
9. 12. |
Generalisierungs-Halbordnung,
Inferenzalgorithmen |
16.
12. |
Entscheidungsbäume |
23.
12. |
Algebraische Strukturen: Gruppoide,
Halbgruppen, Gruppen, Verbände |
13.
1. 2023 |
Begriffsverbände |
20.
1. |
Regelbasierte Systeme: Reduktionssysteme,
formale Grammatiken, L-Systeme |
27.
1. |
Relationale Wachstumsgrammatiken und
L-System-Erweiterungen |
3. 2. |
Zelluläre Automaten; Modelle für
Nebenläufigkeit: Transitionssysteme (1.) |
10.
2. |
Transitionssysteme (2.), Petrinetze |
zurück zur Homepage der Veranstaltung
Letzte
Änderung: 10. 10. 2022