703812 PS Einführung in die Theoretische Informatik

Wintersemester 2025/2026 | Stand: 04.06.2025 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703812
PS Einführung in die Theoretische Informatik
PS 1
2
wöch.
semestral
Deutsch

Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.

Diskussion, Vertiefung und Einübung der Inhalte der Vorlesung; Übung im wissenschaftlichenmArgumentieren und im Präsentieren von Themen aus der theoretischen Informatik

Beurteilung aufgrund einer schriftlichen Klausur am Ende des Semsters; diese wird online im OLAT Kurs abgehalten.

Lehrveranstaltungsprüfung gemäß § 6 Satzungsteil, Studienrechtliche Bestimmungen; Onlineprüfung am Ende des Semesters

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Die LV Einführung in die Theoretische Informatik PS 1 (Lehramt Digitale Grundbildung und Informatik) wird im Rahmen der LV 703062 Einführung in die Theoretische Informatik SL 1 angeboten.

*Anmeldung unter 703062*

https://www.uibk.ac.at/informatik/studium/
siehe Termine