703209 Termersetzungssysteme

Wintersemester 2007/2008 | Stand: 01.02.2008 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Priv.-Doz. Dr. Harald Zankl

LV-Nummer:

703209

Titel:

Termersetzungssysteme

Typ/Stunden:

VO 3

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

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.

Inhalt:

abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungssysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien

Anmerkungen:

Beginn: KW 40

Link:

http://cl-informatik.uibk.ac.at/teaching/ws07/trs

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik

Wahlmodul Termersetzungssysteme (WM 8)

Technische Mathematik

II. Studienabschnitt

Wahlfach Informatik

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 08.10.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 12.10.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 15.10.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 19.10.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 22.10.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Mo 29.10.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Mo 05.11.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 09.11.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 12.11.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 16.11.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 19.11.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 23.11.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 26.11.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 30.11.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 03.12.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 07.12.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 10.12.2007	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 14.12.2007	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 07.01.2008	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 11.01.2008	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 14.01.2008	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Fr 18.01.2008	12.00 - 13.00	HS 10 HS 10	Barrierefrei
Mo 21.01.2008	10.00 - 12.00	HS 11 HS 11	Barrierefrei
Mo 28.01.2008	10.00 - 12.00	HS 11 HS 11	Barrierefrei	1st exam
Do 27.03.2008	09.00 - 11.00	HS 11 HS 11	Barrierefrei	2nd exam