Universität Wien

051018 UE Theoretische Informatik (2026S)

2.00 ECTS (1.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Mehofer , Moodle
2 Mehofer , Moodle
3 Mehofer , Moodle
4 Mehofer , Moodle
5 Knoll , Moodle
6 Knoll , Moodle
7 Knoll , Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 1

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Mittwoch 04.03. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 11.03. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 25.03. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 15.04. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 22.04. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 29.04. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 06.05. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 13.05. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 20.05. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 27.05. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 03.06. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 17.06. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 2

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

  • Mittwoch 04.03. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 11.03. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 25.03. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 15.04. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 22.04. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 29.04. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 06.05. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 13.05. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 20.05. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 27.05. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 03.06. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Mittwoch 17.06. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 3

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Mittwoch 04.03. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 11.03. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 25.03. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 15.04. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 22.04. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 29.04. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 06.05. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 13.05. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 20.05. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 27.05. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 03.06. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 17.06. 11:30 - 12:15 Hörsaal 2, Währinger Straße 29 2.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 4

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

  • Mittwoch 04.03. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 11.03. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 25.03. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 15.04. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 22.04. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 29.04. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 06.05. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 13.05. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 20.05. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 27.05. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 03.06. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Mittwoch 17.06. 12:15 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 5

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

  • Mittwoch 04.03. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 11.03. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 25.03. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 15.04. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 22.04. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 29.04. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 06.05. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 13.05. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 20.05. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 27.05. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 03.06. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 10.06. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 17.06. 15:00 - 15:45 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 6

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

  • Mittwoch 04.03. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 11.03. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 25.03. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 15.04. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 22.04. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 29.04. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 06.05. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 13.05. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 20.05. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 27.05. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 03.06. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 10.06. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 17.06. 15:45 - 16:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Gruppe 7

max. 25 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

  • Mittwoch 04.03. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 11.03. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 25.03. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 15.04. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 22.04. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 29.04. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 06.05. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 13.05. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 20.05. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 27.05. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 03.06. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 10.06. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG
  • Mittwoch 17.06. 16:45 - 17:30 PC-Unterrichtsraum 4, Währinger Straße 29 1.OG

Art der Leistungskontrolle und erlaubte Hilfsmittel

Es müssen Beispiele angekreuzt werden und an der Tafel präsentiert werden können.
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Die Übung Theoretische Informatik ist begleitend zur gleichnamigen Vorlesung. Das Ziel der Übung ist es, die in der Vorlesung vermittelten Inhalte anhand von vorgegebenen Übungsaufgaben praktisch zu üben und umzusetzen.

Die Übung ist verpflichtend für die Curricula BA Informatik oder BA Wirtschaftsinformatik (für Lehramt bitte das Curriculum konsultieren).

Folgende Vorteile ergeben sich durch den Besuch der Übung:

- Stoffwiederholung: anhand von praktischen Beispielen wird der Stoff der Vorlesung wiederholt und vertieft.

- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu Beispielen oder Themengebieten zu stellen.

- Prüfungsvorbereitung: Die in den Übungen behandelten Beispiele sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung gestellt werden.

Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität

Mindestanforderungen und Beurteilungsmaßstab

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:

1) gesamt müssen 50% der Beispiele angekreuzt werden, wobei jeweils aus dem ersten und zweiten Teil der Übung ebenfalls 50% erreicht werden müssen

2) zur Wertung der angekreuzten Beispiele ist die Anwesenheit in der Übung erforderlich und die angekreuzten Beispiele müssen an der Tafel präsentiert werden können

3) bei einer negativ bewerteten Tafelleistung werden die angekreuzten Beispiele dieser Übung gestrichen und eine nachfolgend positive Tafelleistung ist für einen positiven Abschluss erforderlich

4) zwei negative Tafelleistungen führen zu einer negativen Gesamtnote

Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!

Prüfungsstoff

Inhalt der VO Theoretische Informatik

Literatur

wird in VO Theoretische Informatik kapitelweise bekannt gegeben

Zuordnung im Vorlesungsverzeichnis

Module: THI UF-INF-08

Letzte Änderung: Di 04.08.2026 18:47