Ulrich Koch: Lehre

Im Sommersemester 2009 halte ich zwei Übungsgruppen [KLIPS] zu Grundlagen der theoretischen Informatik [KLIPS]:

Gruppe A: Mo 14.15-15.45, E 524
Gruppe B: Di 12.00-13.30, A 120

Die Übungen finden ab dem 27./28.04. statt.

Nachklausur GTI

Zur Nachklausur kann man sich ab sofort (bis spätestens 16.11., 15 Uhr) anmelden.

Nachklausur/mündliche Gruppenprüfung Theoretische Informatik II (Winter 2008/2009)

Es findet entweder eine Nachklausur (bei vielen Interessent(inn)en) oder eine mündliche Gruppenprüfung (bei wenigen Interessent(inn)en) statt. Bis jetzt hat sich niemand gemeldet. Wer sich für eine Nachprüfungsmöglichkeit interessiert, möge sich bitte schnell per E-Mail bei Prof. Dr. Priese melden.

Literatur

Die Literatur zur Vorlesung und Übung:

Katrin Erk und Lutz Priese:: Theoretische Informatik - Eine umfassende Einführung. Springer Verlag, 3. Auflage, 2008.

Für "Grundlagen der theoretischen Informatik" sind auch die 1. und 2. Auflage verwendbar. Die 1. Auflage kann in der Uni-Bibliothek ausgeliehen werden; Signatur: INF 2000/1961 und Folgende.

Weitere Übungsaufgaben (teils mit Lösungen) und teilweise andere Erklärungsansätze finden sich in:

John E. Hopcroft und Jeffrey D. Ullman:: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, 3. Auflage, 1994.

In neueren Auflagen (ab 2002) kommt R. Motwani als Autor hinzu.

Achtung: Die Definitionen bei Hopcroft(/Motwani)/Ullman sind nicht immer äquivalent zu denen bei Erk/Priese!

Newsgroup

Die Newsgroup für die Veranstaltung ist infko.theoinf.

Übungsblätter und Musterlösungen

Blatt 1 mit Musterlösung
Blatt 2 mit Musterlösung
Blatt 3 mit Musterlösung, 1. Lösung Aufg. 5.2, 2. Lösung Aufg. 5.2
Blatt 4 mit Musterlösung
Blatt 5 mit Musterlösung
Blatt 6 mit Musterlösung
Blatt 7 mit Musterlösung
Blatt 8 mit Musterlösung
Blatt 9 mit Musterlösung
Blatt 10 mit Musterlösung
Blatt 11 mit Musterlösung

Leistungstests ("Teilklausuren"), Nachklausur und Musterlösungen

Die Musterlösungen der Leistungstests:

Die Ergebnisse des 3. Leistungstests sowie die Noten, die sich aus den Tests ergeben, hängen aus, und zwar an der Aushangtafel im dritten Stock des B-Gebäudes, gegenüber von Raum B 324.

Wenn Sie in Ihren Leistungstest (oder auf Wunsch in alle Ihre Leistungstests) Einsicht nehmen wollen, schicken Sie mir bitte eine E-Mail.

Die Nachklausur findet am 17.11.2009 von 20.00 Uhr bis 21.30 Uhr in D 028 statt. Die Anmeldung ist ab sofort (bis spätestens 16.11., 15 Uhr) möglich.

Andere Materialien

Beweis, dass {a^2ⁿ | n in N} nicht kontextfrei ist (1. Seite, vgl. Übungen am 08./09.06.)
PDA für {w in {a, b, c}* | #_a(w) = 2 #_b(w)} (Aufgabe 5, 2. Leistungstest)

Vergangene Semester

Wintersemester 2008/2009: Übung zu Theoretische Informatik II
Sommersemester 2008: Übung zu Grundlagen der theoretischen Informatik
Wintersemester 2007/2008: Übung zu Theoretische Informatik II [Ergebnisse der Evaluation]
Sommersemester 2007: Übung zu Grundlagen der theoretischen Informatik/Einführung in die theoretische Informatik I [Ergebnisse der Evaluation]
Wintersemester 2006/2007: Übung zu Theoretische Informatik II [Ergebnisse der Evaluation]
Sommersemester 2006: Übung zu Praktische Informatik B