703126 Termersetzungssysteme

Sommersemester 2014 | Stand: 17.03.2014 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
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

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

keine

http://cl-informatik.uibk.ac.at/teaching/ss14/trs/
03.03.2014
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 10.03.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 17.03.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 24.03.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 31.03.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 07.04.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 28.04.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 05.05.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 12.05.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 19.05.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 26.05.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 02.06.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 16.06.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei
Mo 23.06.2014
 13.15 - 14.00 3W03 3W03 Barrierefrei