703209 Termersetzungssysteme

Wintersemester 2009/2010 | Stand: 15.02.2010 LV auf Merkliste setzen
703209
Termersetzungssysteme
VO 3
5
wöch.
jährlich
Deutsch
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 41
Gruppe 0
Datum Uhrzeit Ort
Mo 05.10.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 05.10.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 12.10.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 12.10.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 19.10.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 19.10.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 09.11.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 09.11.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 16.11.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 16.11.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 23.11.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 23.11.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 30.11.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 30.11.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 07.12.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 07.12.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 14.12.2009
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 14.12.2009
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 11.01.2010
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 11.01.2010
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 18.01.2010
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 18.01.2010
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 25.01.2010
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 25.01.2010
11.15 - 13.00 HS 10 HS 10 Barrierefrei
Mo 01.02.2010
09.15 - 10.00 HS 10 HS 10 Barrierefrei
Mo 01.02.2010
11.15 - 13.00 HS 10 HS 10 Barrierefrei