703125 Termersetzungssysteme

Sommersemester 2017 | Stand: 09.06.2017 LV auf Merkliste setzen
703125
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 06.03.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 13.03.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 20.03.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 27.03.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 03.04.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 24.04.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 08.05.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 15.05.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 22.05.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 29.05.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 12.06.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 19.06.2017
14.15 - 16.00 3W03 3W03 Barrierefrei
Mo 26.06.2017
14.15 - 16.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei Klausur