703125 Termersetzungssysteme

Wintersemester 2012/2013 | Stand: 12.02.2013 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
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
schriftliche Prüfung
Beginn: siehe Termine
http://cl-informatik.uibk.ac.at/teaching/ws12/trs/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 01.10.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 08.10.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 15.10.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 22.10.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 29.10.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 05.11.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 12.11.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 19.11.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 26.11.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 03.12.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 10.12.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 07.01.2013
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 14.01.2013
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 21.01.2013
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 28.01.2013
 15.15 - 17.00 HS 11 HS 11 Barrierefrei