Übung: 14-täglich, Termin
steht noch nicht fest
Zeitplan der Vorlesung
30. 10.
2015 |
Aussagenlogik: Syntax, Semantik, Normalformen |
6. 11. |
Horn-Formeln; Beweistheorie der Aussagenlogik:
Resolution |
13. 11. |
Tableaukalkül, Sequenzenkalkül |
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 |
8. 1. 2016 |
Algebraische Strukturen: Gruppoide, Halbgruppen, Gruppen,
Verbände |
15. 1. |
Begriffsverbände |
22. 1. |
Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken,
L-Systeme |
29. 1. |
Relationale Wachstumsgrammatiken und L-System-Erweiterungen |
5. 2. |
Ontologien; Zelluläre Automaten; Modelle
für Nebenläufigkeit: Transitionssysteme (1.) |
12. 2. |
Transitionssysteme (2.), Petrinetze |
zurück
zur Homepage der Veranstaltung
Letzte Änderung: 14. 1. 2016