News
- 26.03.2025: We are online
Anmeldung
Folgende Anmeldungen sind über RWTHonline durchzuführen:
Die Anmeldung wird in Kürze frei geschaltet
- Vorlesung (Ermöglicht Zugriff auf RWTHmoodle)
- Tutorium (Zuteilung zum Tutoriumstermin, Abgabe der Übungen).
- Klausur (1. Termin bzw. 2. Termin)
Vorlesungen, Globalübungen, Tutorien
| Wochentag | Uhrzeit | Raum | |
|---|---|---|---|
| Vorlesung | Montag | 10:00 – 12:00 | Audimax |
| Vorlesung | Dienstag | 18:30 – 20:00 | Audimax |
| Globalübung | Donnerstag | 10:30 – 12:00 | Audimax |
| Tutorium | Donnerstag-Freitag | siehe RWTHonline |
Die erste Vorlesung findet am 8. April (Dienstag) statt. Die zweite Vorlesung ist am 14. April (Montag). Die erste Globalübung findet am 17. April (Donnerstag) statt. Die Tutorien starten ab dem 24.-25. April. Bitte besuchen Sie das Ihnen über RWTHonline zugeteilte Tutorium.
Manche Vorlesungs- und Globalübungstermine weichen vom obigen Schema ab. Eine genaue Auflistung der Termine findet sich in RWTHmoodle.
Folien und Notizen zu Vorlesungen und Globalübungen werden in RWTHmoodle hochgeladen. In den Tutorien werden Lösungen zu den Übungsblättern vorgetragen. Diese werden ca. eine Woche später veröffentlicht.
Übungsblätter und E-Tests
Begleitend zur Vorlesung gibt es Übungsblätter, die zu viert zu bearbeiten sind. Die Übungsblätter werden jeweils donnerstags über RWTHmoodle veröffentlicht und sind in der Regel 7 Tage später (donnerstags) bis 10:30 Uhr online über RWTHmoodle abzugeben. Die Lösungen zu den Übungsaufgaben werden in den wöchentlichen Tutorien besprochen.
Zu jedem Übungsblatt gibt es einen zugehörigen E-Test, welcher gleichzeitig über RWTHmoodle abrufbar ist und zum Abgabezeitpunkt des Übungsblattes ausgewertet wird. Viele Aufgaben im E-Test beziehen sich auf das zugehörige Übungsblatt. Eine erfolgreiche Teilnahme an den E-Tests ist Teil der Klausurzulassung (siehe unten).
Präsenzübung und Klausur
| Datum | Uhrzeit | Raum | |
|---|---|---|---|
| Präsenzübung | TBA | TBA | Hörsaalverteilung wird über RWTHmoodle bekanntgegeben |
| Klausur | 22.8. | 09:00 – 11:00 | Hörsaalverteilung wird über RWTHmoodle bekanntgegeben |
| Wiederholungsklausur | 24.9. | 12:00 – 14:00 | Hörsaalverteilung wird über RWTHmoodle bekanntgegeben |
Für die Klausur gibt es folgende Zulassungskriterien:
- eine korrekte Anmeldung zum jeweiligen Klausurtermin über RWTHonline
- mindestens 50% der in den E-Tests erreichbaren Punkte
- eine erfolgreiche Teilnahme an der Präsenzübung
In der Präsenzübung muss unter klausurähnlichen Bedingungen und in Einzelarbeit ein zusätzliches Übungsblatt gelöst werden. Parallel zum 1. Klausurtermin findet ein Wiederholungstermin für die Präsenzübung statt. Studierende, die an der 1. Präsenzübung nicht teilnehmen konnten oder dort nicht genügend Punkte erzielt haben können an diesem Termin das entsprechende Klausurzulassungskriterium erfüllen, um dann am 2. Klausurtermin teilnehmen zu können.
Für die Präsenzübung ist eine Anmeldung über RWTHmoodle erforderlich. Details hierzu werden rechtzeitig bekannt gegeben.
Literaturempfehlungen
Die Vorlesung basiert auf:
Esparza, Javier / Blondin, Michael (2023) Automata Theory – An Algorithmic Approach
Hopcroft, John E. / Motwani, Rajeev / Ullman, Jeffrey D. (2011, 3. Auflage) Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit
Kozen, Dexter C. (1997) Automata and Computability
Sipser, Michael (2006, 2. Auflage) Introduction to the Theory of Computation
Asteroth, Alexander / Christel Baier (2002) Theoretische Informatik – eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Kontakt
Wenn Sie Fragen oder Anregungen haben, können Sie uns gerne kontaktieren: fosap25@i2.informatik.rwth-aachen.de