703007 VO Einführung in die Theoretische Informatik

Wintersemester 2025/2026 | Stand: 23.09.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
703007
VO Einführung in die Theoretische Informatik
VO 2
3
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.

Aussagenlogik; Grammatiken; Chomsky Hierarchie; Berechenbarkeit; Kompexitätstheorie

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Schriftliche Prüfung in Präsenz

Skriptum.

Weitere Literatur wird im OLAT Kurs angeführt.

LV wird aufgezeichnet

BA Informatik: im Rahmen der Studieneingangs- und Orientierungsphase (StEOP) 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/url/RepositoryEntry/5933891840
https://lms.uibk.ac.at/auth/RepositoryEntry/5933891840/CourseNode/112505831823161
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Fr 03.10.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 09.10.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 10.10.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 16.10.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Do 23.10.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 24.10.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 30.10.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 31.10.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 06.11.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 07.11.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 13.11.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 14.11.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 20.11.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 21.11.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 27.11.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 28.11.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 04.12.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 05.12.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 11.12.2025
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 12.12.2025
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 08.01.2026
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 09.01.2026
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 15.01.2026
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 16.01.2026
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 22.01.2026
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 23.01.2026
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Do 29.01.2026
 17.30 - 18.15 HS 11 HS 11 Barrierefrei TUTORIUM
Fr 30.01.2026
 10.15 - 11.45 HS A (Technik) HS A (Technik) Barrierefrei
Gruppe Anmeldefrist Prüfungsdatum
01.09.2025 08:00 - 31.01.2026 23:59
Zur LV anmelden
Moser G.
12.12.2025 00:00 - 16.01.2026 23:59
30.01.2026
10:15-11:45
HS A
Hinweis:
1te Klausur 		Moser G.
01.01.2026 00:00 - 20.02.2026 23:59
06.03.2026
9:15-10:45
Hinweis:
2te Klausur 		Moser G.