703125 VO Termersetzungssysteme

Sommersemester 2019 | Stand: 29.03.2019 | 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:

VO 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/ss19/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 04.03.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 11.03.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 18.03.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 25.03.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 01.04.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 08.04.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 29.04.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 06.05.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 13.05.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 20.05.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 27.05.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 03.06.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 17.06.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 24.06.2019	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Do 26.09.2019	09.15 - 13.30	HSB 3 HSB 3	Barrierefrei	2nd exam