703209 Termersetzungssysteme

Wintersemester 2008/2009 | Stand: 04.02.2009 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Priv.-Doz. Dr. Harald Zankl Priv.-Doz. Dr. Harald Zankl
703209
Termersetzungssysteme
VO 3
5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für Termersetzungssysteme erlangt haben.
Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungssysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien
Schriftliche Prüfung
siehe Webseite
Beginn: KW 40
http://cl-informatik.uibk.ac.at/teaching/ws08/trs
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 06.10.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 13.10.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 20.10.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 27.10.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 03.11.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 10.11.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 17.11.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 24.11.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 01.12.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 15.12.2008
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 12.01.2009
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 19.01.2009
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Mo 26.01.2009
 09.15 - 12.00 HS 10 HS 10 Barrierefrei
Fr 27.02.2009
 14.00 - 17.00 HS 10 HS 10 Barrierefrei Klausur