703125 VO Termersetzungssysteme

Sommersemester 2018 | Stand: 27.03.2018 | 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/ss16/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 05.03.2018	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 12.03.2018	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 19.03.2018	14.15 - 16.00	HS 11 HS 11	Barrierefrei
Mo 09.04.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 16.04.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 23.04.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 30.04.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 07.05.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 14.05.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 28.05.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 04.06.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 11.06.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 18.06.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei
Mo 25.06.2018	14.15 - 16.00	HS G (Technik) HS G (Technik)	Barrierefrei