Übung: 14-täglich,
nur in den ungeraden Wochen (ab 8. 11.),
montags, 14:15-16:00, Livestream
Zeitplan der Vorlesung
5. 11. |
Aussagenlogik: Syntax, Semantik, Normalformen |
12.
11. |
Horn-Formeln; Beweistheorie der
Aussagenlogik: Resolution |
19.
11. |
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
26.
11. |
Prädikatenlogik 1. Ordnung: Normalformen,
Beweistheorie; Modallogik |
3. 12. |
Temporale Logik; Relationen, Graphen und
Netzwerke |
10.
12. |
Generalisierungs-Halbordnung,
Inferenzalgorithmen |
17.
12. |
Entscheidungsbäume |
14.
1. 2022 |
Algebraische Strukturen: Gruppoide,
Halbgruppen, Gruppen, Verbände |
21.
1. |
Begriffsverbände |
28.
1. |
Regelbasierte Systeme: Reduktionssysteme,
formale Grammatiken, L-Systeme |
4. 2. |
Zelluläre Automaten, Modelle für
Nebenläufigkeit: Transitionssysteme (1.) |
11.
2. |
Modelle für
Nebenläufigkeit: Transitionssysteme (2.), Petrinetze |
zurück zur Homepage der Veranstaltung
Letzte
Änderung: 21. 10. 2021