Theoretische Informatik 1 WS25/26

News

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.

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).