News
- 16.5.2019: Die Anmeldung zur Präsenzübung ist nun freigeschaltet. Weitere Informationen finden Sie im Abschnitt ‘Anmeldung’.
- 4.4.2019: Das erste Übungsblatt ist nun verfügbar. Alle weiteren Vorlesungsmaterialien finden Sie nach erfolgreicher Anmeldung über RWTHonline in RWTHmoodle.
- 20.3.2019: Die erste Vorlesung findet am Donnerstag den 4.4.2019 statt. Die erste Globalübung ist am Donnerstag den 11.4.2019. Weitere Termine sind unten aufgeführt. Wir werden in der ersten Vorlesung einige organisatorische Fragen klären. Bis dahin brauchen Sie sich um nichts kümmern!
Anmeldung
Folgende Anmeldungen sind durchzuführen:
- Registrieren Sie sich bis Donnerstag 11.4.2019 12:00 Uhr in unserem Übungssystem. Melden Sie sich an und geben Sie Präferenzen für einen Tutoriumstermin an.
- Melden Sie sich bis 1.5.2019 in RWTHonline zur Lehrveranstaltung ‘Formale Systeme, Automaten, Prozesse (Hörsaalübung) ‘ an. Hierdurch bekommen Sie in RWTHmoodle Zugriff zu den Vorlesungsmaterialien.
- Melden Sie sich bis 7.6.2019 in RWTHonline zur Präsenzübung an. Sie finden den entsprechenden Eintrag unter ‘Prüfungstermine’. Aus technischen Gründen wird hier die Präsenzübung als Prüfung zum Tutorium aufgeführt.
- Melden Sie sich in RWTHonline zur Klausur an, wenn Sie diese mitschreiben möchten.
Wichtige Termine
Beachten Sie, dass entgegen der Angaben in RWTHonline die Vorlesung montags und donnerstags und die Globalübung mittwochs stattfindet. Es gibt jedoch Außnahmen. Die genauen Termine sind unten aufgelistet.
| Wochentag | Uhrzeit | Raum | |
|---|---|---|---|
| Vorlesung | Montag | 18:30 – 20:00 | H02 |
| Vorlesung | Donnerstag | 10:30 – 12:00 | H01 |
| Globalübung | Mittwoch | 18:30 – 20:00 | H01 |
| Datum | Uhrzeit | Raum | |
|---|---|---|---|
| Klausur | 13.8. | 16:30 – 18:30 | Hörsaalverteilung wird im Übungssystem bekanntgegeben |
| Wiederholungsklausur | 9.9. | 16:30 – 18:30 | Hörsaalverteilung wird im Übungssystem bekanntgegeben |
| Präsenzübung | 21.6. | 16:30 – 18:00 | Hörsaalverteilung wird im Übungssystem bekanntgegeben |
Vorlesungen
Folien und Notizen zur Vorlesung (VL) werden in RWTHmoodle hochgeladen.
| Nr. | Thema | Datum |
|---|---|---|
| 1 | 4.4.2019 | |
| 2 | 8.4.2019 | |
| 3 | 15.4.2019 | |
| 4 | 18.4.2019 | |
| 5 | 25.4.2019 | |
| 6 | 29.4.2019 | |
| 7 | 6.5.2019 | |
| 8 | 9.5.2019 | |
| 9 | 13.5.2019 | |
| 10 | 16.5.2019 | |
| 11 | 20.5.2019 | |
| 12 | 23.5.2019 | |
| 13 | 27.5.2019 | |
| 14 | 3.6.2019 | |
| 15 | 6.6.2019 | |
| 16 | 24.6.2019 | |
| 17 | 27.6.2019 | |
| 18 | 1.7.2019 | |
| 19 | 8.7.2019 | |
| 20 | 11.7.2019 |
Globalübungen
Folien und Notizen zur Globalübung werden in RWTHmoodle hochgeladen.
| Nr. | Thema | Datum |
|---|---|---|
| 1 | 11.4.2018 | |
| 2 | 17.4.2019 | |
| 3 | 24.4.2019 | |
| 4 | 2.5.2019 | |
| 5 | 8.5.2019 | |
| 6 | 15.5.2019 | |
| 7 | 22.5.2019 | |
| 8 | 5.6.2019 | |
| 9 | 19.6.2019 | |
| 10 | 26.6.2019 | |
| 11 | 4.7.2019 | |
| 12 | 10.7.2019 |
Übungen
Begleitend zur Vorlesung gibt es Übungsblätter, die zu dritt zu bearbeiten sind. Die Übungszettel werden jeweils freitagabends über RWTHmoodle online gestellt und sind in der Regel 7 Tage später (freitags) bis 12:00 Uhr abzugeben. Die Abgabe erfolgt durch Einwurf der Lösungen in die Übungskästen. Die Kästen befinden sich am Eingang Halifaxstraße des Informatikzentrums (Ahornstr. 55). Alternativ können die Lösungen auch vor der Abgabefrist direkt im Tutorium abgegeben werden.
Die Lösungen zu den Übungsaufgaben werden in den wöchentlichen Kleingruppenübungen besprochen. Es gibt keinen L2P Lernraum für diese Veranstaltung.
Eine Teilnahme am Übungsbetrieb wird dringend emfohlen.
Klausurzulassung und Präsenzübung
Für die Zulassung zur Klausur ist neben einer korrekten Anmeldung eine erfolgreiche Teilnahme an der Präsenzübung am 21.6. um 16:30 Uhr erforderlich. In der Präsenzübung muss unter Klausurbedingungen und in Einzelarbeit ein zusätzliches Übungsblatt gelöst werden. Die Bearbeitungsdauer der Präsenzübung beträgt 90 Minuten.
Die Anmeldung zur Präsenzübung ist bis zum 7.6.2019 in RWTHonline möglich.
Literaturempfehlungen
Die Vorlesung basiert auf:
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:
Assistenten