Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2018/19

 

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

Übung: 14-täglich, gerade Wochen, montags, 14:15-16:00, FSR4.2

 

Zeitplan der Vorlesung

 

19. 10. 2018

Aussagenlogik: Syntax, Semantik, Normalformen

 

26. 10.

Horn-Formeln; Beweistheorie der Aussagenlogik: Resolution

  2. 11.

Tableaukalkül, Sequenzenkalkül

  9. 11.

Prädikatenlogik 1. Ordnung: Syntax, Semantik

16. 11.

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

23. 11.

Temporale Logik; Relationen, Graphen und Netzwerke

30. 11.

Generalisierungs-Halbordnung, Inferenzalgorithmen

  7. 12.

Entscheidungsbäume

14. 12.

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

21. 12.

Begriffsverbände

11. 1. 2019

Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken, L-Systeme

18. 1.

Relationale Wachstumsgrammatiken und L-System-Erweiterungen

25. 1.

Zelluläre Automaten; Modelle für Nebenläufigkeit: Transitionssysteme (1.)

  1. 2.

Transitionssysteme (2.), Petrinetze

 

zurück zur Homepage der Veranstaltung

 

Letzte Änderung:  1. 10. 2018