703062 SL Einführung in die Theoretische Informatik

Wintersemester 2026/2027 | Stand: 25.06.2026 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Samuel Frontull, BSc MSc Samuel Frontull, BSc MSc, +43 512 507 53497
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Michael Knut Schaper, BSc MSc PhD Michael Knut Schaper, BSc MSc PhD, +43 512 507 53232
703062
SL Einführung in die Theoretische Informatik
SL 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.

Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:

Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, sind folgende Lehrveranstaltungsprüfungen abzulegen:

  1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
  2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
  3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)

Weitere Informationen finden Sie hier.

https://lms.uibk.ac.at/auth/RepositoryEntry/5933891841/CourseNode/112505831838084
siehe Termine