703125 Termersetzungssysteme

Wintersemester 2011/2012 | Stand: 19.03.2012 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/ws11/trs/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 03.10.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 10.10.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 17.10.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 24.10.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 31.10.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 07.11.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 14.11.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 21.11.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 28.11.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 05.12.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 12.12.2011
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 09.01.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 16.01.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 23.01.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Mo 30.01.2012
 15.15 - 17.00 HS 11 HS 11 Barrierefrei
Fr 13.04.2012
 12.30 - 15.15 HS 10 HS 10 Barrierefrei 2nd exam