Übung: 14-täglich,
ungerade Wochen (2020) bzw. gerade Wochen (2021),
montags, 14:15-16:00, Livestream
Zeitplan der Vorlesung
|
6.
11. 2020 |
Aussagenlogik: Syntax, Semantik, Normalformen |
|
13.
11. |
Horn-Formeln; Beweistheorie der
Aussagenlogik: Resolution |
|
20.
11. |
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
|
27.
11. |
Prädikatenlogik 1. Ordnung: Normalformen,
Beweistheorie; Modallogik |
|
4. 12. |
Temporale Logik; Relationen, Graphen und
Netzwerke |
|
11.
12. |
Generalisierungs-Halbordnung,
Inferenzalgorithmen |
|
18.
12. |
Entscheidungsbäume |
|
15.
1. 2021 |
Algebraische Strukturen: Gruppoide,
Halbgruppen, Gruppen, Verbände |
|
22.
1. |
Begriffsverbände |
|
29.
1. |
Regelbasierte Systeme: Reduktionssysteme,
formale Grammatiken, L-Systeme |
|
5. 2. |
Zelluläre Automaten; Modelle für
Nebenläufigkeit: Transitionssysteme (1.) |
|
12.
2. |
Transitionssysteme (2.), Petrinetze |
zurück zur Homepage der Veranstaltung
Letzte
Änderung: 10. 10. 2020