Theoretische Informatik 1 WS25/26

News

4. März - Die Prüfungsteilnehmer verteilen sich am Freitag wiefolgt:  Falls Ihre Matrikelnummer gerade ist, setzen Sie sich in UP 3.007.  Ist Ihre Nummer ungerade, begeben Sie sich in den Audimax.

26. Februar - Hier finden Sie eine korrigierte Version eines der heutigen Pushdown-Automaten.  Der vorige Automat hatte zum Beispiel |babab|_bab nicht richtig interpretiert.

4. Februar - Am 26. Februar findet ab 11:30 in IZ 358 eine Fragestunde zur Prüfung statt.

26. Januar - Die Aufgabenstellung von 6.5 b) wurde korrigiert.

12. Januar - Mehrere Tippfehler in Aufgabenblatt 5 wurden korrigiert.  Betroffene Stellen sind rot markiert.

20. Dezember - Das fünfte Aufgabenblatt ist online.

10. November - Die Vorlesung entfällt am Dienstag, den 11. November.

20. Oktober - Die Große Übung 0 "Einführung in das Beweisen" wird am Dienstag, den 21. Oktober, fortgesetzt.  Gegenstand sind induktive Mengen und Induktionsbeweise.

17. Oktober - Die großen Übungen finden zweiwöchig montags statt.  Die erste Übung am kommenden Montag behandelt allgemeine Beweis-Strukturen, wie sie in dieser Veranstaltung benutzt werden.

18. Juli - Die Informationen auf dieser Seite sind noch vorläufig.

Organisation

Die Vorlesung wird von Prof. Dr. Roland Meyer gehalten.  Die Übungen werden von René Maseli geleitet.

Wöchentlich werden zwei Vorlesungstermine stattfinden, die Sie durch das Themengebiet führen.  Alle zwei Wochen wird ein Termin davon als Großübung abgehalten, wo speziell Aufgabenbeispiele vorgerechnet werden, die Ihnen bei den Hausaufgaben und zur Klausurvorbereitung helfen sollen.

Vorlesung / Große Übung (wöchentlich): [Stud.IP]

• Mo, 13:15 - 14:45 in PK 11.1
• Di, 15:00 - 16:30 in PK 11.1

Kleine Übung (zweiwöchentlich): [Stud.IP]

• Mo, 11:30 - 13:00 in IZ 358 mit Luca Thomas, ab dem 10. November
• Di, 09:45 - 11:15 in IZ 358 mit Anton Opaterny, ab dem 11. November
• Do, 09:45 - 11:15 in IZ 358 mit Natalia Gacek, ab dem 13. November
• Do, 09:45 - 11:15 in SN 20.1 mit Thomas Haas, ab dem 13. November
• Do, 13:15 - 14:45 in IZ 358 mit Natalia Gacek, ab dem 13. November
• Fr, 08:00 - 09:30 in IZ 358 mit Luis Höling, ab dem 14. November
• Fr, 09:45 - 11:15 in IZ 358 mit René Maseli, ab dem 14. November

Lerntreff Theorie (wöchentlich):

• Mo, 09:45 - 11:15 in IZ 358 mit Max Bierwagen, ab dem 3. November.

Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

• Prüfungsleistung: Zu erbringen durch Bestehen einer schriftlichen Abschlussklausur.
• Studienleistung: Zu erbringen durch das Erreichen von mindestens 50% der Punkte auf die Übungsaufgaben.

Die Prüfung findet am Freitag, den 06. März 2026 von 11:00 bis 13:00 im Audimax und UP 3.007 statt.

• Sie besteht aus 10 Aufgaben zu je 10 Punkten. Die Bearbeitungszeit beträgt 120 Minuten.
• Als Hilfsmittel sind ausschließlich Sprachwörterbücher sowie ein beidseitig handschriftlich beschriebenes DIN A4-Blatt erlaubt.
• Zur Vorbereitung auf die Prüfung empfiehlt sich das Durcharbeiten der Klausuren aus den vergangenen Jahren.

Literatur

• U. Schöning: Theoretische Informatik - kurz gefasst. Springer, 2008.
• J. E. Hopcroft, R. Motwani, J. D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley Longman, 2002.
• M. Sipser: Introduction to the Theory of Computation. Cengage Learning, 2012.
• M. Nebel: Formale Grundlagen der Programmierung. Vieweg+Teubner, 2012.
  Erhältlich als E-Book (auf den Seiten der Universitätsbibliothek, ggf. nur aus dem Uni-Netz).