Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2012/13

 

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

 

26. 10. 2012

Aussagenlogik: Syntax, Semantik, Normalformen

 

  2. 11.

Horn-Formeln; Beweistheorie der Aussagenlogik: Resolution

  5. 11.

Tableaukalkül, Sequenzenkalkül

16. 11.

Prädikatenlogik 1. Ordnung: Syntax, Semantik

23. 11.

Prädikatenlogik 1. Ordnung: Normalformen, Beweistheorie; Modallogik

30. 11.

Temporale Logik; Relationen, Graphen und Netzwerke

  7. 12.

Generalisierungs-Halbordnung, Inferenzalgorithmen

14. 12.

Entscheidungsbäume

21. 12.

Algebraische Strukturen: Gruppoide, Halbgruppen, Gruppen, Verbände

11. 1. 2013

Begriffsverbände

18. 1.

Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken, L-Systeme

25. 1.

Relationale Wachstumsgrammatiken und L-System-Erweiterungen

  1. 2.

Zelluläre Automaten, Reaktions-Diffusions-Systeme; Modelle für Nebenläufigkeit: Transitionssysteme (1.)

  8. 2.

Transitionssysteme (2.), Petrinetze

 

zurück zur Homepage der Veranstaltung

 

Letzte Änderung:  19. 10. 2012