Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2022/23

 

Vorlesung: Freitags, 10:15-11:50, beginnend am 28. 10. 2022, online (BBB Livestream)

Übung: montags, nur in den ungeraden Wochen, beginnend am 7. 11. 2022, online (BBB Livestream)

 

Zeitplan der Vorlesung

 

28. 10. 2022

Aussagenlogik: Syntax, Semantik, Normalformen

 

  4. 11.

Horn-Formeln; Beweistheorie der Aussagenlogik: Resolution

11. 11.

Tableaukalkül, Sequenzenkalkül

18. 11.

Prädikatenlogik 1. Ordnung: Syntax, Semantik

25. 11.

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

  2. 12.

Temporale Logik; Relationen, Graphen und Netzwerke

  9. 12.

Generalisierungs-Halbordnung, Inferenzalgorithmen

16. 12.

Entscheidungsbäume

23. 12.

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

13. 1. 2023

Begriffsverbände

20. 1.

Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken, L-Systeme

27. 1.

Relationale Wachstumsgrammatiken und L-System-Erweiterungen

  3. 2.

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

10. 2.

Transitionssysteme (2.), Petrinetze

 

zurück zur Homepage der Veranstaltung

 

Letzte Änderung: 10. 10. 2022