Berechenbarkeit und Komplexität (Winter 2026/27)
Aktuelles
- Aktuelle Übungsblätter, E-Tests und Vorlesungsfolien finden Sie im Moodle-Raum.
- Bei individuellen Problemen, organisatorischen Fragen, etc. schicken Sie Ihre Nachrichten bitte an
buk [AT] algo.rwth-aachen.de.
Organisatorisches
- Dozent: Prof. Dr. Martin Hoefer
- Übungsbetrieb: Alle Mitarbeiter:Innen des Lehrstuhls
- RWTH Online: Vorlesung, Übung, Fragestunde
- Raum in RWTH Moodle
- Vorlesung:
Montags, 16:30 - 18:00h in Audimax grün und rot
Dienstags, 08:30 - 10:00h in TEMP1 - Tutorien: Do+Fr, diverse Zeiten
- Minitests: 19/20.11.2026, 10./11.12.2026, 28./29.01.2027
- Ersttermin Präsenzübung: 15.01.2027
- Erstklausur, Zweittermin Präsenzübung: 23.02.2027
- Zweitklausur: 24.03.2027
Übungsbetrieb und Klausurzulassung
Es finden wöchentliche Tutorien statt, in denen der Stoff durch gemeinsame Übungen vor Ort vertieft wird und individuelle Fragen besprochen werden können.
Jeweils am Dienstag 18:00h wird ein Übungsblatt in Moodle veröffentlicht (Link s.o., erste Ausgabe: 20.10.2026).
Lösungen für Übunsblätter können in der Regel innerhalb einer Woche (bis Dienstag 18:00h) von Gruppen mit 2-3 Studierenden abgegeben werden.
Abgaben bitte nur in Form einer einzigen PDF-Datei via Moodle. Die Abgabe von Lösungen und die Teilnahme an den Tutorien ist freiwillig (aber SEHR zu EMPFEHLEN!).
Danben werden im Verlauf des Semesters drei Minitests veranstaltet. In jedem Minitest kann ein Klausurbonus von 3% der Gesamtpunkte füur die Erst- und Zweitklausur erzielt werden.
Am 15.01.2027 wird eine Präsenzübung (a.k.a. Zulassungsklausur) geschrieben. Die Zulassung zur Klausur ist erreicht, wenn 50% der Punkte in der Präsenzübung erreicht wurden.
Ein Zweittermin für die Präsenzübung findet zum Zeitpunkt der Erstklausur am 23.02. statt. Hier kann (nur) die Zulassung für die Zweitklausur erzielt werden.
Literatur
Die folgenden Werke eignen sich als zusätzliche Literatur und stehen in der Informatikbibliothek:
- Hopcroft, Motwani, Ullman: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley 2001.
- Hromkovic: Theoretische Informatik. Teubner 2004.
- Schöning: Theoretische Informatik - kurzgefasst. Spektrum Akademischer Verlag 2001.
- Sipser: Introduction to the Theory of Computation. PWS Publishing 1997.
- Wegener: Theoretische Informatik - eine algorithmenorientierte Einführung. Teubner Verlag 1999.
- Wegener: Kompendium Theoretische Informatik - Eine Ideensammlung. Teubner 1996.