703126 Termersetzungssysteme

Sommersemester 2016 | Stand: 26.01.2016 LV auf Merkliste setzen
703126
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
Mo 14.03.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 04.04.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 11.04.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 18.04.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 25.04.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 02.05.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 09.05.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 23.05.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 30.05.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 06.06.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 13.06.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 20.06.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Mo 27.06.2016
13.15 - 14.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei