Formale Systeme, Automaten, Prozesse

» Diese Veranstaltung wird auf deutsch gehalten.

» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.

» Sie finden das Übungssystem hier.

Vorlesung im Sommersemester 2011

Art Termine / Ort Beginn Veranstalter
V3 Di 08:15–09:45, Gr
Do 10:00–11:30, Ro 		07.04.2011 Thomas
Ü2 Fr 11:45–13:15, Fo 1 15.04.2011 Thomas, Neider, Otto

Weitere Details finden Sie im Lernraum.

Aktuelle und zusätzliche Informationen

Zur Veranstaltung wurde ein Lernraum eingerichtet, in dem wir Sie über aktuelle Informationen informieren. Zusätzlich finden Sie dort weitere Informationen und Materialen, beispielsweise Übungsblätter und eine Literaturliste. Um auf diesen Lernraum zugreifen zu können, müssen Sie sich wie unten beschrieben für die Vorlesung anmelden. Bitte beachten Sie, dass Ankündigungen und Hinweise ausschließlich über das L²P veröffentlicht werden!

Anmeldungen

Um an der Vorlesung teilzunehmen, müssen Sie alle der folgenden drei Anmeldungen durchführen.
  • Lernraum im Lehr- und Lernportal (L²P)
    Im Lehr- und Lernportal wurde ein Lernraum zur Vorlesung eingerichtet. Dort finden Sie unter anderem aktuelle Informationen, Übungsblätter und sonstige Materialen. Um Zugang zu diesem Lernraum zu bekommen, müssen Sie sich zuerst in CAMPUS Office anmelden. Finden Sie dort die Seite zur Vorlesung. Klicken Sie oben auf „Zum klassischen Anmeldeverfahren”, um zur Anmeldung zum Lernraum zu gelangen. Nach dieser Anmeldung sollten Sie Zugang zum Lernraum haben, sofern Sie allgemeine L²P-Zugangsdaten haben.
    Eine Anmeldung zur Klausur geschieht dadurch nicht!
  • Übungssystem Begleitend zur Vorlesung und Globalübung gibt es wöchentliche Kleingruppenübungen zu diversen Terminen. Die genaue Auflistung der Termine und Räume finden Sie im Lernportal. Im Übungssystem können Sie die Punkte der bereits korrigierten Übungsblätter einsehen. Die Auswahl der Übungsgruppen findet über das Übungssystem statt. Hier können Sie bis zum 11.04.2011, 9:00 Uhr auswählen, welche der angebotenen Termine für Sie passen. Anschließend werden wir eine Verteilung veröffentlichen, die Ihren Wünschen möglichst gut gerecht wird.
  • Klausur Um die Prüfungsklausur (Bachelor-Klausur, Master-Klausur bzw. Zwischenprüfung, je nach Studiengang) am Ende des Semesters mitschreiben zu dürfen, ist auch eine offizielle Anmeldung erforderlich. Bei der Anmeldung wird nach Studiengängen unterschieden:
    • B.Sc. Informatik und B.Sc. Mathematik: Modulares Anmeldeverfahren zur Klausur in CAMPUS Office
    • Lehramt: Anmeldung über ZPA (eventuell virtuelles ZPA in CAMPUS Office)

Kontakt

Diese Vorlesung wird vom Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) im Rahmen des Informatik-Lehrplans der RWTH Aachen gehalten. Bitte versuchen Sie eventuelle Fragen erst mit Ihrem Übungsgruppenleiter zu klären. Wenn Sie sonst noch Fragen bzw. Probleme im Rahmen der Vorlesung oder des Übungsbetriebs haben, können Sie sich auch direkt an uns wenden. Schreiben Sie dafür bitte eine E-Mail an den Verteiler fosap@automata.rwth-aachen.de.