Berechenbarkeit und Komplexität (Winter 2025/26)
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: Christoph Grüne, Tom Janßen, Tim Koglin, Jakob Lindner, Finn Seesemann
- RWTH Online: Vorlesung, Übung, Fragestunde
- Raum in RWTH Moodle
- Vorlesung:
Montags, 08:30 - 10:00h in TEMP1
Freitags, 16:30 - 18:00h in TEMP1 - Tutorien: Do+Fr, diverse Zeiten
- Fragestunde: Montags, 16:30h - 18:00h in AH I (Informatikzentrum), 14-tägig
- Ersttermin Präsenzübung: 09.01.2026, 16:30h
- Erstklausur, Zweittermin Präsenzübung: 19.02.2026, 18:00h.
- Zweitklausur: 19.03.2026, 09:00h.
Ü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: 21.10.25).
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 jede Woche in Moodle E-Tests veröffentlicht. Am 09.01. wird eine Präsenzübung (a.k.a. Zulassungsklausur) geschrieben. Die Zulassung zur Klausur ist erreicht, wenn sowohl (1) mindestens 50% aller erreichbaren Punkte in den E-Tests, als auch (2) 50% der Punkte in der Präsenzübung erreicht wurden.
Werden die Zulassung zur Klausur und mehr als 80% der Punkte in der Präsenzübung erreicht, wird ein Notenschritt Bonus auf eine bestandene Erst- oder Zweitklausur angerechnet.
Ein Zweittermin für die Präsenzübung findet zum Zeitpunkt der Erstklausur am 19.02. statt. Hier kann (nur) die Zulassung und ein Notenschritt Bonus für die Zweitklausur erzielt werden (wenn zusätzlich 50% der Punkte der E-Tests erreicht sind).
Es besteht keine Möglichkeit einer "Bonusverbesserung" beim Zweittermin der Präsenzübung.
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.
