703209 Termersetzungssysteme

Wintersemester 2009/2010 | Stand: 15.02.2010 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Mag. Martin Korp
Dr. Sarah Winkler

LV-Nummer:

703209

Titel:

Termersetzungssysteme

Typ/Stunden:

VO 3

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

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

Prüfungsmodus:

Schriftliche Prüfung

Literatur:

siehe Webseite

Anmerkungen:

Beginn: KW 41

Link:

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

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Technische Mathematik

II. Studienabschnitt

Wahlfach Informatik

Bachelorstudium Informatik nach dem Curriculum 2007

Wahlmodul Termersetzungssysteme (WM 8)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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