703209 Termersetzungssysteme
Wintersemester 2009/2010 | Stand: 15.02.2010 | LV auf Merkliste setzen703209
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
- Fakultät für Mathematik, Informatik und Physik
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 |