703125 Termersetzungssysteme

Sommersemester 2015 | Stand: 04.11.2015 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

LV-Nummer:

703125

Titel:

Termersetzungssysteme

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls verstehen die Konzepte von Termersetzungssystemen als formales Berechnungsmodell, welches die Grundlage für die funktionale Programmierung darstellt. Zudem lernen sie wesentliche Eigenschaften von Termersetzungssystemen kennen, sowie Methoden, um diese Eigenschaften nachzuweisen.

Inhalt:

Abstrakte Reduktionssysteme; Gleichungslogik; Termersetzungsysteme und ihre Eigenschaften; Terminierung; Konfluenz; Vervollständigung; Strategien

Methoden:

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Prüfungsmodus:

schriftliche Prüfung

Literatur:

Course notes will be made available from the accompanying web site.

Voraussetzungen:

keine

Anmerkungen:

Dieser Kurs wird besonders Studierenden empfohlen, die mehr über ein wichtiges Forschungsfeld in der Computational Logic Gruppe lernen möchten.

Link:

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

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)

Wahlmodul 13: Termersetzungssysteme (5 ECTS-AP, 3 SSt.)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 02.03.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 09.03.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 16.03.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 23.03.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 13.04.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 20.04.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 27.04.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 04.05.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 11.05.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 18.05.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 01.06.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 08.06.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 15.06.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 22.06.2015	14.15 - 16.00	3W03 3W03	Barrierefrei
Mo 28.09.2015	09.00 - 11.00	3W03 3W03	Barrierefrei	2nd exam
Do 17.12.2015	12.45 - 15.15	3W04 3W04	Barrierefrei	3rd exam