Übung: 14-täglich, Montage der
ungeraden Wochen (außer erste Woche), 14:15-15:45, FSR 5.1, Büsgenweg 5
Zeitplan der Vorlesung
24. 10.
2014 |
Aussagenlogik: Syntax, Semantik, Normalformen |
31. 10. |
Horn-Formeln; Beweistheorie der Aussagenlogik:
Resolution |
7. 11. |
Tableaukalkül, Sequenzenkalkül |
14. 11. |
Prädikatenlogik 1. Ordnung: Syntax, Semantik |
21. 11. |
Prädikatenlogik 1. Ordnung: Normalformen, Beweistheorie;
Modallogik |
28. 11. |
Temporale Logik; Relationen, Graphen und Netzwerke |
5. 12. |
Generalisierungs-Halbordnung, Inferenzalgorithmen |
12. 12. |
Entscheidungsbäume |
19. 12. |
Algebraische Strukturen: Gruppoide, Halbgruppen, Gruppen,
Verbände |
9. 1. 2015 |
Begriffsverbände |
16. 1. |
Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken,
L-Systeme |
23. 1. |
Relationale Wachstumsgrammatiken und L-System-Erweiterungen |
30. 1. |
Zelluläre Automaten, Reaktions-Diffusions-Systeme; Modelle
für Nebenläufigkeit: Transitionssysteme (1.) |
6. 2. |
Transitionssysteme (2.), Petrinetze |
zurück
zur Homepage der Veranstaltung
Letzte Änderung: 10. 9. 2014