Vorlesung Informatik IV: "Theoretische Informatik (Formale Sprachen, Automaten und Berechenbarkeit)"

Sommersemester 2011

Dozent: Prof. Dr. Jörg Rothe

Übungsleiter: Magnus Roos, Anja Rey, Hilmar Schadrack und Dennis Dobler

Vorlesung:

Dienstag 08:40 Uhr bis 10:20 Uhr (geändert!) im Hörsaal 5E und Freitag 12:20 Uhr bis 14:00 Uhr (geändert!) im Hörsaal 5F.

Diese Vorlesung gehört zu einem Pflichtmodul im Bachelor-Studiengang Informatik.

Bitte tragen Sie sich auf der website CCC: Computational Complexity and Cryptology für die Vorlesung und eine der Übungsgruppen ein. Wenn Sie sich dort anmelden und Ihre E-mail-Adresse angeben, wird Ihnen ein Passwort zugeschickt.

Zusätzlich müssen Sie sich im LSF anmelden, damit Sie sich später beim Prüfungsamt für die Prüfung anmelden können.

Nur wer sowohl im LSF als auch im CCC angemeldet ist, kann die Zulassung zur Prüfung erwerben und an der Prüfung teilnehmen.

Anmeldefrist für die Vorlesung: Sie müssen sich spätestens bis zum 15. April 2011 um 23:59 Uhr zu dieser Vorlesung im CCC-System angemeldet haben. Das ist eine feste deadline. Wenn Sie sich bis dahin nicht angemeldet haben, können Sie nicht an der Klausur teilnehmen.

Einsicht in die Nachklausur:

findet am Dienstag, dem 22. November 2011, von 14:00 Uhr bis 15:00 Uhr, im Raum 25.12-02.40 statt. Den genauen zeitlichen Ablauf entnehmen Sie bitte der diesbezüglichen E-Mail.

Nachprüfung:

findet am Donnerstag, dem 17. November 2011 von 14:30 Uhr bis 16:00 Uhr im Hörsaal 5E statt. Zur Vorbereitung bieten wir zusätzlich zu dem Tutorium im August auch im November noch drei weitere Tutorien an, die zu den folgenden Terminen stattfinden: Nutzen Sie diese Gelegenheit zur intensiven Vorbereitung!

Klausureinsicht:

findet am Dienstag, dem 12. Juli 2011, im Hörsaal 5E nach der folgenden zeitlichen Zuordnung statt: Zeitplan Klausureinsicht Informatik IV

Prüfung:

findet in Form einer schriftlichen Klausur am Freitag, dem 8. Juli 2011, in den Hörsälen 5F und 5C statt:

Bitte bringen Sie Ihren Personal- und Studentenausweis mit zur Klausur. Falls der Platz auf den von uns ausgeteilten Klausuren nicht reicht, sollten Sie sich auch eigene Blätter mitbringen.

Erlaubte Hilfsmittel: Vorlesungsmitschriften, Bücher, Übungsblätter, Gedächtnis.

Nicht erlaubte Hilfsmittel: Mobiltelefone und ähnliche Kommunikationsgeräte, Kommiliton/inn/en, Taschenrechner.

Anmeldung: bis vier Wochen vor dem Klausurtermin beim Akademischen Prüfungsamt. Die Formulare findet man hier.

Hat man sich zur Klausur angemeldet, so kann man bis eine Woche vor der Klausur noch zurücktreten, ohne dass dies als ein Fehlversuch gewertet wird. Die Abmeldung von der Klausur muss über das Akademische Prüfungsamt erfolgen. Bitte sagen Sie in diesem Fall auch mir per E-mail Bescheid.

Übungen:

Literatur:

Skript:

Das Skript zur Vorlesung wird regelmäßig erweitert und aktualisiert; die aktuelle Version kann hier als pdf heruntergeladen werden.

Präsentation:

Die Präsentation meiner Vorlesung (die nahezu identisch mit dem Skript ist) können Sie sich kapitelweise herunterladen:

Studium Universale:

Wer nur einen Teilnahmeschein für das Studium Universale braucht, schreibe mir bitte eine E-Mail (rothe AT cs DOT uni-duesseldorf DOT de), damit ich eine Namensliste machen kann, die ich dann bei jeder Vorlesung unterschreiben lassen werde.

ACHTUNG: Wer in Düsseldorf Informatik studiert und sich für einen ein- oder zweisemestrigen Auslandsaufenthalt interessiert, oder auch wer an einer ausländischen Hochschule studiert und ein oder zwei Semester in Düsseldorf Informatik studieren möchte, kann sich über das Internationale Austauschprogramm ERASMUS informieren oder mich persönlich ansprechen.