Formale Systeme

Prof. Dr. W. Kurth

Wintersemester 2023/24

 

Vorlesung: Freitags, 10:15-11:50, beginnend am 27. 10. 2023, Raum FSR 4.2 (Büsgenweg 4, 3. Stock).

Übung: montags, nur in den geraden Wochen, beginnend am 30. 10. 2023, FSR 4.2

 

Zeitplan der Vorlesung

 

27. 10. 2023

Aussagenlogik: Syntax, Semantik, Normalformen

 

  3. 11.

Horn-Formeln; Beweistheorie der Aussagenlogik: Resolution

10. 11.

Tableaukalkül, Sequenzenkalkül

17. 11.

Prädikatenlogik 1. Ordnung: Syntax, Semantik

24. 11.

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

  1. 12.

Temporale Logik; Relationen, Graphen und Netzwerke

  8. 12.

Generalisierungs-Halbordnung, Inferenzalgorithmen

15. 12.

Entscheidungsbäume

22. 12.

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

12. 1. 2024

Begriffsverbände

19. 1.

Regelbasierte Systeme: Reduktionssysteme, formale Grammatiken, L-Systeme

26. 1.

Relationale Wachstumsgrammatiken und L-System-Erweiterungen

  2. 2.

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

  9. 2.

Transitionssysteme (2.), Petrinetze

 

zurück zur Homepage der Veranstaltung

 

Letzte Änderung: 8. 9. 2023