Übung (Tim Oberländer):
montags, nur in den geraden Wochen, beginnend am 10. 11. 2025,
Raum CIP II (Büsgenweg 4, 1. Stock)
Zeitplan der Vorlesung
|
7.
11. 2025 |
Aussagenlogik: Syntax, Semantik, Normalformen |
|
14.
11. |
Horn-Formeln; Beweistheorie der
Aussagenlogik: Resolution |
|
21.
11. |
Tableaukalkül, Sequenzenkalkül |
|
28. 11.
|
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
|
5. 12. |
Prädikatenlogik 1. Ordnung: Normalformen,
Beweistheorie; Modallogik |
|
12.
12. |
Temporale Logik; Relationen, Graphen und
Netzwerke |
|
19. 12.
|
Generalisierungs-Halbordnung,
Inferenzalgorithmen |
|
9. 1. 2026 |
Entscheidungsbäume |
|
16.
1. |
Algebraische Strukturen: Gruppoide,
Halbgruppen, Gruppen, Verbände |
|
23.
1. |
Begriffsverbände |
|
30.
1. |
Regelbasierte Systeme: Reduktionssysteme,
formale Grammatiken, L-Systeme |
|
6. 2. |
Relationale Wachstumsgrammatiken und
L-System-Erweiterungen; Zelluläre Automaten |
|
13.
2. |
Modelle für
Nebenläufigkeit: Transitionssysteme, Petrinetze |
zurück zur Homepage der Veranstaltung
Letzte
Änderung: 24. 9. 2025