703141 VU Termersetzungssysteme

Wintersemester 2022/2023 | Stand: 19.12.2022 LV auf Merkliste setzen
703141
VU Termersetzungssysteme
VU 3
5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls verstehen die Konzepte von Termersetzungssystemen als formales Berechnungsmodell, welches die Grundlage für die funktionale Programmierung darstellt. Zudem lernen sie wesentliche Eigenschaften von Termersetzungssystemen kennen, sowie Methoden, um diese Eigenschaften nachzuweisen.
Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungsysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien

Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.

Unterlagen werden auf der Kurswebseite zur Verfügung gestellt.

keine

Dieser Kurs wird besonders Studierenden empfohlen, die mehr über ein wichtiges Forschungsfeld in der Computational Logic Gruppe lernen möchten. 

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 03.10.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 10.10.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 17.10.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 24.10.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 31.10.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 07.11.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 14.11.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 21.11.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 28.11.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 05.12.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 12.12.2022
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 09.01.2023
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 16.01.2023
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 23.01.2023
12.15 - 15.00 HS 11 HS 11 Barrierefrei
Mo 30.01.2023
12.15 - 15.00 HS 11 HS 11 Barrierefrei