Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2021/22

 

Vorlesung: Freitags, 10:15-11:50, Livestream über BigBlueButton (StudIP)

Übung: 14-täglich, nur in den ungeraden Wochen (ab 8. 11.), montags, 14:15-16:00, Livestream

 

Zeitplan der Vorlesung

 

  5. 11.

Aussagenlogik: Syntax, Semantik, Normalformen

 

12. 11.

Horn-Formeln; Beweistheorie der Aussagenlogik: Resolution

19. 11.

Prädikatenlogik 1. Ordnung: Syntax, Semantik

26. 11.

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

  3. 12.

Temporale Logik; Relationen, Graphen und Netzwerke

10. 12.

Generalisierungs-Halbordnung, Inferenzalgorithmen

17. 12.

Entscheidungsbäume

14. 1. 2022

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

21. 1.

Begriffsverbände

28. 1.

Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken, L-Systeme

  4. 2.

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

11. 2.

Modelle für Nebenläufigkeit: Transitionssysteme (2.), Petrinetze

 

zurück zur Homepage der Veranstaltung

 

Letzte Änderung: 21. 10. 2021