Warning! The directory is not yet complete and will be amended until the beginning of the term.
051018 UE Theoretical Computer Science (2025W)
Continuous assessment of course work
Labels
Summary
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 is open from Fr 12.09.2025 09:00 to Tu 30.09.2025 16:00
- Deregistration possible until Tu 14.10.2025 23:59
Registration information is available for each group.
Groups
Group 1
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
Bitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!
- Tuesday 07.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 21.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 28.10. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 04.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 11.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 18.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 25.11. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 02.12. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 16.12. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.01. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.01. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
Aims, contents and method of the course
Assessment and permitted materials
Es müssen Beispiele angekreuzt 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".
Bei Erreichen der Mindestanforderungen wird die Übung als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
Group 2
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 21.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 28.10. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 04.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 11.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 18.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 25.11. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 02.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 16.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.01. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.01. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Group 3
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 14.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 21.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 28.10. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 04.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 11.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 18.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 25.11. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 02.12. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 16.12. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 13.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 20.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
- N Tuesday 27.01. 11:30 - 12:15 Hörsaal 3, Währinger Straße 29 3.OG
Group 4
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 14.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 21.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 28.10. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 04.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 11.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 18.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 25.11. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 02.12. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 16.12. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 13.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 20.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- N Tuesday 27.01. 12:15 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
Group 5
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 14.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 21.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 28.10. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 04.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 11.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 18.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 25.11. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 02.12. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 16.12. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 13.01. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 20.01. 15:00 - 15:45 Hörsaal 2, Währinger Straße 29 2.OG
Group 6
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 14.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 21.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 28.10. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 04.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 11.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 18.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 25.11. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 02.12. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 16.12. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 13.01. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 20.01. 15:45 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Group 7
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 21.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 28.10. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 04.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 11.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 18.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 25.11. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 02.12. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 16.12. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.01. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.01. 16:45 - 17:30 Seminarraum 7, Währinger Straße 29 1.OG
Group 8
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 07.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 21.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 28.10. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 04.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 11.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 18.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 25.11. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 02.12. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 16.12. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 13.01. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 20.01. 17:30 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
Group 9
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 06.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 13.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 20.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 27.10. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 03.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 10.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 17.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 24.11. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 01.12. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Tuesday 09.12. 08:00 - 08:45 Seminarraum 7, Währinger Straße 29 1.OG
- Monday 15.12. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.01. 13:15 - 14:00 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 10
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 06.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 13.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 20.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 27.10. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 03.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 10.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 17.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 24.11. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 01.12. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Tuesday 09.12. 08:45 - 09:30 Seminarraum 7, Währinger Straße 29 1.OG
- Monday 15.12. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.01. 14:05 - 14:50 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 11
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 06.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 13.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 20.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 27.10. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 03.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 10.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 17.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 24.11. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 01.12. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Tuesday 09.12. 09:45 - 10:30 Seminarraum 7, Währinger Straße 29 1.OG
- Monday 15.12. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.01. 15:00 - 15:45 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 12
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 06.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 13.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 20.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 27.10. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 03.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 10.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 17.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 24.11. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 01.12. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Tuesday 09.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Monday 15.12. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.01. 15:50 - 16:35 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
Group 13
max. 25 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Monday 06.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 13.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 20.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 27.10. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 03.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 10.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 17.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 24.11. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 01.12. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Tuesday 09.12. 10:30 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Monday 15.12. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
- Monday 12.01. 16:45 - 17:30 PC-Unterrichtsraum 3, Währinger Straße 29 1.OG
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 Stoffder Vorlesung wiederholt und vertieft.- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zuBeispielen oder Themengebieten zu stellen.- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispielesind vom selben Typ wie die praktischen Aufgaben die bei der Prüfunggestellt werden.Inhalte des Moduls Theoretische Informatik:Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläreSprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;Berechenbarkeit und Entscheidbarkeit; Komplexität.
Assessment and permitted materials
Es müssen Beispiele präsentiert werden.Bei Erreichen der Mindestanforderungen wird das Repetitorium als"mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
Information
Minimum requirements and assessment criteria
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:1) gesamt müssen 50% der Beispiele angekreuzt werden, wobei aus den Teilbereichen Logik/Komplexität sowie Sprachen/Grammatiken/Automaten ebenfalls 50% erreicht werden müssen2) eine positive Tafelmeldung durch Präsentation eines Beispiels; eine negative Tafelmeldung hat die Streichung aller Beispiele dieses Termins zur FolgeBitte beachten: Bei der Kickoff-Veranstaltung (erste Einheit) besteht Anwesenheitspflicht in der jeweiligen Einheit (bei unentschuldigter Nichtteilnahme erfolgt Abmeldung)!
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 20.01.2026 13:45
- 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