Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2015/16

 

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

Ü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