Universität Wien

051014 PUE Theoretical Computer Science (2025S)

2.00 ECTS (1.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Continuous assessment of course work

Summary

1 Mehofer , Moodle
We 18.06. 09:45-11:15 Seminarraum 7, Währinger Straße 29 1.OG
2 Mehofer , Moodle
We 18.06. 11:30-13:00 Hörsaal 2, Währinger Straße 29 2.OG
3 Knoll , Moodle
We 18.06. 13:15-14:45 Hörsaal 3, Währinger Straße 29 3.OG

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Bitte beachten: Die Kickoff-Veranstaltung mit Anwesenheitspflicht ist der 19.03.2025 (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung).

  • Wednesday 19.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 26.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 02.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 09.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 30.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 07.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 14.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 21.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 28.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 04.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 11.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG

Group 2

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Bitte beachten: Die Kickoff-Veranstaltung mit Anwesenheitspflicht ist der 19.03.2025 (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung).

  • Wednesday 19.03. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 26.03. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 02.04. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 09.04. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 30.04. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 07.05. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 14.05. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 21.05. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 28.05. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 04.06. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
  • Wednesday 11.06. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG

Group 3

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Bitte beachten: Die Kickoff-Veranstaltung mit Anwesenheitspflicht ist der 19.03.2025 (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung).

  • Wednesday 19.03. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 26.03. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 02.04. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 09.04. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 30.04. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 07.05. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 14.05. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 21.05. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 28.05. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 04.06. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 11.06. 13:15 - 14:45 Hörsaal 3, Währinger Straße 29 3.OG

Information

Aims, contents and method of the course

Das Repetitorium Theoretische Informatik ist begleitend zur gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die in der Vorlesung vermittelten Inhalte anhand von vorgegebenen Übungsaufgaben praktisch zu üben und umzusetzen.

Das Repetitorium ist nicht Teil des Curriculums, ein Besuch wird aber nachdrücklich empfohlen.

Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:
- 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 Repetitorien 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

Assessment and permitted materials

Es müssen Beispiele an der Tafel präsentiert werden.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als „mit Erfolg teilgenommen“ bewertet.

Minimum requirements and assessment criteria

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung in Form einer Präsentation eines Beispiels an der Tafel
- bei 3 Tafelmeldungen wird auch dreimalige Abwesenheit akzeptiert

Examination topics

Inhalt der VO Theoretische Informatik

Reading list

wird in VO Theoretische Informatik kapitelweise bekannt gegeben

Association in the course directory

Module: THI UF-INF-08

Last modified: Tu 11.03.2025 08:45