703317 VU Weiterführende Themen in Logik und Lernen: Computability Theory

Wintersemester 2026/2027 | Stand: 24.06.2026 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

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

LV-Nummer:

703317

Titel:

VU Weiterführende Themen in Logik und Lernen: Computability Theory

Typ/Stunden:

VU 3

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Vertieftes Verständnis in ausgewählten weiterführenden Vertiefungsgebieten aus Logik und Lernen; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden. Absolventinnen und Absolventen dieses Kurses haben ein tiefgreifendes Verständnis über die Berechenbarkeitstheorie. Sie sind darauf vorbereitet, die Turing-Vollständigkeit von Berechnungsmodellen zu beweisen.

Inhalt:

Verschiedene Berechnungsmodelle werden eingeführt und miteinander in Beziehung gebracht:

Rekursive Funktionen
Kombinatorische Logik
LOOP/WHILE-Programme
Lambda-Kalkül

Prüfungsmodus:

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

Literatur:

Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.

Voraussetzungen:

Keine.

Anmerkungen:

Der Kurs wird auf Englisch abgehalten.

Link:

https://cl-informatik.uibk.ac.at/teaching/

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für LehrerInnenbildung

Masterstudium Lehramt Sekundarstufe (Allgemeinbildung) laut Curriculum 2018 (120 ECTS-AP, 4 Semester)

Unterrichtsfach Informatik

Pflichtmodule (25 ECTS-AP)

Pflichtmodul 1: Vertiefung der Informatik (7,5 ECTS-AP)

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.)

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 05.10.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 12.10.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 19.10.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 09.11.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 16.11.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 23.11.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 30.11.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 07.12.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 14.12.2026	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 11.01.2027	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 18.01.2027	13.45 - 16.15	HS 11 HS 11	Barrierefrei
Mo 25.01.2027	13.45 - 16.15	HS 11 HS 11	Barrierefrei