703352 VU Weiterführende Themen in Logik und Lernen: Selected Topics in Term Rewriting

Wintersemester 2025/2026 | Stand: 03.06.2025 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

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

LV-Nummer:

703352

Titel:

VU Weiterführende Themen in Logik und Lernen: Selected Topics in Term Rewriting

Typ/Stunden:

VU 3

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

2-Jahresrhythmus

Unterrichtssprache:

Englisch

Lernergebnis:

Studierende, die diesen Kurs absolviert haben, verfügen über ein umfassendesVerständnis der Termersetzung. Sie sind in der Lage, dieTermersetzung durch eigenständige Forschung weiterzuentwickeln.

Inhalt:

Der Kurs behandelt fortgeschrittene und aktuelle Entwicklungen der Termersetzung.

Methoden:

Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.

Prüfungsmodus:

Kontinuierliche Bewertung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende der Lehrveranstaltung wird ein optionaler schriftlicher Test angeboten.

Literatur:

Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.

Voraussetzungen:

Vertrautheit mit den Grundlagen der Termersetzung (Inhalt des Bachelor Kurses Termersetzungssysteme).

Anmerkungen:

Der Kurs wird auf Englisch abgehalten.

Link:

http://cl-informatik.uibk.ac.at/teaching/ss23/sttr/

Beginn:

siehe Termine

Studienzuordnung(en)

Interdisziplinäres und zusätzliches Angebot

Interdisziplinäres Angebot

Generische Kompetenzen für PhD- und Doktoratsstudien

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik laut Curriculum 2021 (120 ECTS-AP, 4 Semester)

Wahlmodule (50 ECTS-AP)

Wahlmodul 9: Weiterführende Themen in Logik und Lernen (10 ECTS-AP, 5 SSt.)

"Doctor of Philosophy" - Doktoratsstudium Informatik laut Curriculum 2009 (180 ECTS-AP, 6 Semester)

Pflichtmodule (30 ECTS-AP)

Pflichtmodul 2: Wissenschaftliche Grundlagen/Kernkompetenzen zum Dissertationsthema (10 ECTS-AP)

Nachhaltigkeitsziele

SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 06.10.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 13.10.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 20.10.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 27.10.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 03.11.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 10.11.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 17.11.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 24.11.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 01.12.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 15.12.2025	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 12.01.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 19.01.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 26.01.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 02.02.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei