703126 PS/1 PS Termersetzungssysteme

Sommersemester 2018 | Stand: 06.03.2018 LV auf Merkliste setzen
703126
PS Termersetzungssysteme
PS 1
2
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

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Skriptum

keine

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Fr 09.03.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 16.03.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 23.03.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 13.04.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 20.04.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 27.04.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 04.05.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 11.05.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 18.05.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 25.05.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 01.06.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 08.06.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 15.06.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 22.06.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei
Fr 29.06.2018 12.15 - 13.00 HSB 4 HSB 4 Barrierefrei