703209 Termersetzungssysteme

Wintersemester 2010/2011 | Stand: 03.03.2011 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
Dr. Sarah Winkler Dr. Sarah Winkler
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:
http://cl-informatik.uibk.ac.at/teaching/ws10/trs/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 04.10.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 08.10.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 11.10.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 15.10.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 18.10.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 22.10.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 25.10.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 29.10.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Fr 05.11.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 08.11.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 12.11.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 15.11.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 19.11.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 22.11.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 26.11.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 29.11.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 03.12.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 06.12.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 10.12.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 13.12.2010
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 17.12.2010
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 10.01.2011
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 14.01.2011
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 17.01.2011
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 21.01.2011
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 24.01.2011
 09.15 - 11.00 HS 10 HS 10 Barrierefrei
Fr 28.01.2011
 12.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 31.01.2011
 08.00 - 11.00 HS 10 HS 10 Barrierefrei 1st exam
Fr 04.02.2011
 12.15 - 13.00 HS 10 HS 10 Barrierefrei