"Theoretische Informatik 2", Sommersemester 2006

Homepage zur Vorlesung "Theoretische Informatik 2", PD Dr. Andreas Jakoby, Sommersemester 2006

Klausur

Klausurtermine

Bitte die Informationen zur Klausur beachten.

Ergebnisliste der Erstklausur.
Do, 24.08.06, 8:30 Nachklausur (H IV, H V)
Ergebnis abfragen.
Ergebnisliste der Nachklausur.
Die Leistungsscheine können in Zimmer 303 oder 314 abgeholt werden.

Informationen zur Vorlesung

Andreas Jakoby
Robert-Mayer-Straße 11-15
60054 Frankfurt am Main
jakoby@cs.uni-frankfurt.de
Raum: 104a
Sprechstunde: Di. 10-12 Uhr

Termine

Dienstag 8h c.t. H II
Donnerstag 8h c.t. H II

Vorlesungsfolien

Die Overheadfolien der Vorlesung stehen hier als PDF-Dateien zur Verfügung. Sie werden im Laufe des Semesters ergänzt.

Gesamt Teil 3 (nicht zum Ausdruck) Aktualisierung 19.07.
Gesamt Teil 2 (nicht zum Ausdruck) Aktualisierung 22.06.
Gesamt Teil 1 (nicht zum Ausdruck) Aktualisierung 18.05.
Vorlesung 20.07.Aktualisierung 19.07.
Vorlesung 18.07.Aktualisierung 18.07. [3] S. 239-240, 248, 230-236
Vorlesung 13.07.Aktualisierung 13.07. [3] S. 243-248, 239-240, [5] S. 53-58
Vorlesung 11.07.Aktualisierung 18.07. [3] S. 237-239, 242-245
Vorlesung 06.07.Aktualisierung 06.07. [3] S. 229-230, 236-237, 241-242
Vorlesung 04.07.Aktualisierung 04.07. [3] S. 225-230
Vorlesung 29.06.Aktualisierung 03.07. [3] S. 113-114, 45-47, 117-119, 122-123, 129
Vorlesung 27.06.Aktualisierung 29.06. [3] S. 107-112
Vorlesung 22.06. Teil 2Aktualisierung 21.06.
Vorlesung 22.06. Teil 1Aktualisierung 22.06. [4] S. 247-262, 296-303
Vorlesung 20.06.Aktualisierung 20.06. [4] S. 309-314, 229-247
Vorlesung 13.06.Aktualisierung 13.06. [2] S. 154-158, [4] S. 292-296, 304-308
Vorlesung 08.06.Aktualisierung 08.06. [2] S. 154-158, [4] S. 265-288
Vorlesung 06.06.Aktualisierung 06.06. [4] S. 179-202, 215-225
Vorlesung 01.06.Aktualisierung 01.06. [4] S. 98-106, 112-118, 124-133, 145-155
Vorlesung 30.05.Aktualisierung 01.06. [2] S. 97-98, 106-108, [4] S. 82-98, 135-140, 142-147, 164-170
Vorlesung 23.05.Aktualisierung 29.05. [2] S. 92-97, 104-106, [4] S. 164-174
Vorlesung 18.05.Aktualisierung 18.05. [2] S. 131, 104-106, [4] S. 45-77
Vorlesung 16.05.Aktualisierung 18.05. [2] S. 126-130, 138-141, [3] S. 40-42
Vorlesung 11.05.Aktualisierung 18.05. [2] S. 26-33 S. 124-129
Vorlesung 09.05.Aktualisierung 10.05. [1] S. 84-85, 98
Vorlesung 04.05.Aktualisierung 04.05. [1] S. 81-83, [2] S. 21-22 und 24
Vorlesung 02.05.Aktualisierung 04.05. [1] S. 26-28, 76-81 (für die Notation), 82-83
Vorlesung 27.04.Aktualisierung 27.04. [2] S. 16-19, [3] S. 25-27
Vorlesung 25.04.Aktualisierung 04.05. [2] S. 14-16, [3] S. 18-23
Vorlesung 20.04. Aktualisierung 18.05. [2] S. 7-9, [3] S. 4-8, 14
Vorlesung 18.04. Aktualisierung 20.04. [1] S. 10-26

Literaturhinweise

Im Semesterapparat der Bibliothek befindet sich ein Ordner "Theoretische Informatik 2, Literatur" mit Kopiervorlagen zu den relevanten Abschnitten aus folgenden Büchern.
(Letzte Aktualisierung des Ordners: 12.07.)

[1] Engeler/Läuchli, Berechnungstheorie für Informatiker
[2] Wegener, Theoretische Informatik (Eine algorithmische Einführung)
[3] Reischuk, Einführung in die Komplexitätstheorie
[4] Hopcroft/Motwani/Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
[5] Wegener, Komplexitätstheorie (Grenzen der Effizienz von Algorithmen)

Informationen zu den Übungen

Gregor Gramlich
Robert-Mayer-Straße 11-15
60054 Frankfurt am Main
gramlich@thi.informatik.uni-frankfurt.de
Raum: 303
ThI2-Sprechstunde: Dienstag 11:30-12:30

Übungsblätter

Johannes Bergs hat eine Sammlung von Lösungsansätzen zu den Übungsaufgaben zusammengestellt. Die Ansätze können Fehler enthalten und unvollständig sein. Die Lektüre der Lösungsansätze kann kein gleichwertiger Ersatz für den Besuch der Übungsgruppen sein.

Blatt 12 PDF Abgabe 13.07.06
Blatt 11 PDF Abgabe 06.07.06
Blatt 10 PDF Abgabe 29.06.06 Lösungshinweise 10.4
Blatt 9 PDF Abgabe 22.06.06
Blatt 8 PDF Abgabe bis Fr 16.06.06 9h c.t. in Raum 303
Blatt 7 PDF Abgabe 08.06.06
Blatt 6 PDF Abgabe 01.06.06
Blatt 5 PDF Abgabe bis Fr 26.05.06 9h c.t. in Raum 303
Blatt 4 PDF Abgabe 18.05.06
Blatt 3 PDF Abgabe 11.05.06
Blatt 2 PDF Abgabe 04.05.06
Blatt 1 PDF Abgabe 27.04.06
Blatt 0 PDF Besprechung in den Übungen Lösungshinweise

Übungstermine

1. Montag 12-14, Magnus Hörsaal, Gregor Gramlich Gruppensprechstunde
2. Montag 14-16, SR 11, Dennis Luxen
4. Dienstag 10-12, NM 126, Markus Schmitz-Bonfigt
6. Dienstag 12-14, SR 9, Johannes Bergs
7. Mittwoch 08-10, SR 9, Johannes Bergs
8. Mittwoch 16-17:30, SR 307, Sebastian Schäfer Last-Minute Sprechstunde
9. Donnerstag 10-12, NM 125, Yann Lorion
10. Donnerstag 12-14, NM 124, Sebastian Schäfer

In der Gruppensprechstunde Montag 12-14, Magnus Hörsaal werden Lösungsvorschläge zu zwei oder drei Übungsaufgaben vorgestellt und Fragen zu den Übungen und der Vorlesung beantwortet.
Der Besuch empfiehlt sich insbesondere für Studierende, die keine Lösungen abgeben möchten.

In der Last-Minute Sprechstunde Mittwoch 16-17:30, SR 307 werden Fragen beantwortet, die sich beim Bearbeiten des am nächsten Tag abzugebenden Aufgabenzettels ergeben.

Übungsräume: NM = Neue Mensa, SR = Seminarraum im Informatikgebäude

Informationen zu den Übungsaufgaben und zum Scheinerwerb

Das aktuelle Übungsblatt ist jeweils spätestens donnerstags bis zur Vorlesung auf dieser Seite (www.thi.informatik.uni-frankfurt.de/~gramlich/thi2) zu finden und kann donnerstags in gedruckter Form bei Gregor Gramlich, Raum 303 im Informatik-Gebäude abgeholt werden.

Die Abgabe der bearbeiteten Übungsaufgaben erfolgt in der Regel jeweils donnerstags, eine Woche nach Bereitstellung, vor der Vorlesung bis 8h c.t. vor dem Hörsaal H II. Auf dem abgegebenen Übungsblatt müssen Name, Matrikelnummer, Geburtsdatum und Übungstermin vermerkt sein. Mehrseitige Abgaben sind zusammenzuheften.

Ein Übungsblatt hat in der Regel einen Wert von 40 Punkten.

Eine Gruppenabgabe von zwei Personen ist erlaubt, beide Mitglieder der Gruppe müssen jedoch denselben Übungstermin besuchen. Außerdem ist ein Wechsel der Gruppe nicht zulässig. Im Klartext heißt das: Sobald man zum ersten Mal zusammen mit einem Partner abgibt, darf man nicht mehr mit einem anderen Partner abgeben. Steigt der Partner aus, muss man die Übungsaufgaben künftig allein abgeben.

Die Anwesenheit zum Übungstermin ist Voraussetzung für den Erwerb eines Bonus für die Klausur (s.u.), man darf maximal zwei Übungen abwesend sein. Jeder muss in der Lage sein, jede abgegebene Lösung in der Übung vorzustellen. Ist jemand offensichtlich nicht in der Lage, die abgegebene Lösung vorzustellen, so wird diese Aufgabe (bei Gruppenabgaben für beide Partner) mit 0 Punkten bewertet, im Wiederholungsfall wird das gesamte Blatt mit 0 Punkten bewertet.

Der Leistungsschein wird durch das Bestehen der Klausur bzw. der Nachklausur erworben. Die Termine für die Klausuren sind

Sa, 05.08.06, 8:30 Erstklausur (H IV, H V)
S-Bahn Fahrer: Bitte Tunnelsperrung beachten.
Do, 24.08.06, 8:30 Nachklausur (H IV, H V)

Weitere Informationen zur Klausur folgen.

Durch die in den Übungen gesammelten Punkte kann ein Bonus für die Klausur erworben werden. Der Bonus beträgt maximal 20% der zum Bestehen der Klausur nötigen Punkte.

Institut für Informatik im Fachbereich Informatik und Mathematik

Vorlesung "Theoretische Informatik 2"