Theoretische Grundlagen der Informatik II - WiSe 2006/2007

Die Nachklausur wird am Fr. den 4.5. von 14-17 Uhr in Raum 05-514 stattfinden. Es sind die gleichen Hilfsmittel wie bei der Klausur zugelassen.

Die Ergebnisse der Klausur können Sie hier einsehen. Die Klausureinsicht findet statt am Montag, dem 19. März 2007, von 14-15 Uhr.

Die Homepage des ersten Teils der Veranstaltung finden sie hier.

Die erste Vorlesung findet statt am 23. Oktober 2006 im Hörsaal N3 in der Muschel.

Wegen des Feiertags finden die ersten Übungen in der dritten Semesterwoche statt. Der Übungsbetrieb beginnt also ab dem 6. November 2006.

Die Klausur findet statt am Samstag, dem 3. März 2007, von 9 bis 12 Uhr in der Muschel.
Als Hilfsmittel erlaubt sind Ihre eigenen handschriftlichen Notizen und die Bücher und Skripte aus den Literaturempfehlungen. Ansonsten sind keinerlei Hilfsmittel (elektronischer oder sonstiger Art) zugelassen!

Es findet am Mittwoch, dem 28. Februar von 12.15 bis 14.00 in Raum 05-522 eine Zusatzübung statt. In dieser werden die Inhalte der Vorlesung nochmal wiederholt und Sie haben die Möglichkeit Fragen zu stellen. Der Raum wird kurz vorher an dieser Stelle bekanntgegeben.

Bitte melden Sie sich mittels der Anmeldeprogramme des Fachbereichs sowohl für die Vorlesung als auch für die Teilnahme an den Übungen an. Sie können für die vier Übungstermine Prioritäten angeben, dazu verteilen Sie die Angaben "++", "+" und "-" für "Termin passt sehr gut", "Termin geht" und "Termin passt/geht überhaupt nicht". Sie dürfen höchstens (!!!) zwei Mal "-" verteilen. Bitte lesen Sie sich auch die Anleitung des Anmeldesystems durch. Falls Sie sich falsch oder unzureichend anmelden (also z.B. mehr als zwei Mal "-"), können Ihre Wünsche nicht (!) berücksichtigt werden. Die Anmeldefrist für die Übungen endet am Donnerstag, dem 26. Oktober 2006, 12 Uhr. Die Zuteilung zu den Übungen findet dann bis zum Montag, dem 30. Oktober statt. Danach können Sie in Übungen mit maximaler Teilnehmeranzahl nur durch Wechsel mit einem Tauschpartner kommen.

Sie haben die Möglichkeit, sich bis zum 4. Dezember 2006 noch von der Vorlesung abzumelden ohne daß diese Veranstaltung für Sie als durchgefallen gilt.

Seite des Fachbereichs mit diversen Anmeldeprogrammen

Die Übungsblätter zur Vorlesung können Sie hier in elektronischer Form herunterladen.

1. Blatt1: ps, pdf
2. Blatt2: ps, pdf
3. Blatt3: ps, pdf
4. Blatt4: ps, pdf
5. Blatt5: ps, pdf
6. Blatt6: ps, pdf
7. Blatt7: ps, pdf
8. Blatt8: ps, pdf
9. Blatt9: ps, pdf
10. Blatt10: ps, pdf Achtung: Neue Version!
11. Blatt11: ps, pdf
12. Blatt12: ps, pdf Veränderte Punkte in Aufgabe 3!
13. Blatt13: ps, pdf
14. Zusatzübungsblatt: ps, pdf

Die Einteilung der Übungsgruppen ist jetzt abgeschlossen. Falls Sie vergessen hatten, sich für die Übungsgruppen anzumelden und sich nicht auf der Liste finden, melden Sie sich bitte bei Marcel Marquardt. Sie bekommen dann eine Übungsgruppe zugeteilt. Falls Sie einen Termin bekommen haben, an dem Sie nicht können, ist der Wechsel in eine andere Übungsgruppe nur mit einem Tauschpartner möglich.

Die Liste der Gruppenzuteilung finden Sie hier (Version vom 30.10.06): ps.

Tag	Uhrzeit	Raum	Übungsleiter
Dienstag	12:15-14:00	05-522	Gösta Kroll
Mittwoch	12:15-14:00	04-512	Timon Mann
Mittwoch	14:15-16:00	04-522	Timon Mann
Mittwoch	12:15-14:00	04-516	Andre Danek

Uwe Schöning - Theoretische Informatik - kurzgefasst

Die Vorlesung wird sich in großen Teilen an dieses Buch halten. Es ist nicht teuer, vielleicht überlegen Sie, es sich anzuschaffen. Auch für die Prüfungs- oder Klausurvorbereitung ist dieses Buch sehr hilfreich.

Klaus Barthelmann - Skript Grundlagen der Informatik 1 (ps, pdf)
Klaus Barthelmann - Skript Grundlagen der Informatik 2 (ps, pdf)

Diese Skripte wurde von Thomas Schwentick, Clemens Lautemann und Klaus Barthelmann früher als Begleitskript zu den theoretischen Grundlagen der Informatik verwendet. Es ist etwas ausführlicher und bietet einen erweiterten und formalisierteren Zugang zum Stoff der Vorlesung.

Hopcroft, Motwani, Ullman - Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie

Ein sehr ausführliches Buch, mit anschaulichen Beispielen und vielen Übungsaufgaben. Das Standardwerk.

Um einen Schein zu erhalten, sind zwei Dinge notwendig: Sie müssen sich im Anmeldeprogramm anmelden und die Klausur bestehen.

Die Zulassung der Klausur erhalten sie bei

• Regelmäßiger Teilnahme an Ihrer Übung
• Erfolgreicher Abgabe von mindestens 50% der Übungsaufgaben
• Aktiver Mitarbeit in den Übungen