Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2014/15

 

Vorlesung: Freitags, 10:15-11:45, MN09

Ü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