703125 VO/2 VO Termersetzungssysteme

Sommersemester 2018 | Stand: 27.03.2018 LV auf Merkliste setzen
703125
VO Termersetzungssysteme
VO 2
3
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

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

schriftliche Prüfung

Course notes will be made available from the accompanying web site.

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 05.03.2018 14.15 - 16.00 HS 11 HS 11 Barrierefrei
Mo 12.03.2018 14.15 - 16.00 HS 11 HS 11 Barrierefrei
Mo 19.03.2018 14.15 - 16.00 HS 11 HS 11 Barrierefrei
Mo 09.04.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 16.04.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 23.04.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 30.04.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 07.05.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 14.05.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 28.05.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 04.06.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 11.06.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 18.06.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei
Mo 25.06.2018 14.15 - 16.00 HS G (Technik) HS G (Technik) Barrierefrei