1x1 - TI - Universität Duisburg-Essen

Kontextsensitive und Typ-0-Sprachen 

Berechenbarkeitstheorie 

Komplexitätstheorie 

Vorlesung “Berechenbarkeit und Komplexität” 

alias 

“Theoretische Informatik: Komplexitätstheorie und 

effiziente Algorithmen” 

Wintersemester 2008/09 

Prof. Barbara König 

Übungsleitung: Mathias Hülsbusch 

Barbara König BEKO/TI 1

Willkommen zu 




“Berechenbarkeit und Komplexität” 

(Bachelor Angewandte Informatik – Ingenieur- und 

Medieninformatik, Duisburg) 

“Theoretische Informatik: Komplexitätstheorie und effiziente 

Algorithmen” 

(Bachelor Angewandte Informatik – Systems Engineering, Essen) 





Das heutige Programm 

Organisatorisches 

Vorstellung 

Ablauf der Vorlesung und der Übungen 

Prüfung, Prüfbarkeit 

Literatur & Folien 

Einführung und Motivation: Berechenbarkeit und Komplexität 

Inhalt der weiteren Vorlesung 





Wer sind wir? 

Dozentin: Prof. Barbara König 

Raum LF 264 (Campus Duisburg) 

E-Mail: barbara koenig@uni-due.de 

Sprechstunde: nach Vereinbarung 

Übungsleitung: 

Mathias Hülsbusch: 

Raum LF 263 

E-Mail: mathias.huelsbusch@uni-due.de 

Web-Seite: www.ti.inf.uni-due.de/teaching/ws0809/beko/ 





Vorlesungstermine 

Termine: 

Mittwoch, 14:00-16:00 Uhr 

Jeweils im Raum LB 134 (Duisburg) bzw. S07 S00 D07 (Essen) 

Videoübertragung in beide Räume 

Dozentin in Duisburg: 15.10., 29.10., 12.11., 26.11., 10.12. 

Dozentin in Essen: 22.10., 5.11., 19.11., 3.12., 17.12. 





Termine der Übungsgruppen/Tutorien 

Übungsgruppen in Duisburg: 

Fr, 10:00 - 12:00 Uhr, Raum LK 061 (Gruppe 1) 

Do, 12:00 - 14:00 Uhr, Raum LF 035 (Gruppe 2) 

Übungsgruppen in Essen: 

Do, 12:00 - 14:00 Uhr, Raum S05 T03 B72 (Gruppe 3) 

Do, 14:00 - 16:00 Uhr, Raum S05 T03 B72 (Gruppe 4) 





Hinweise zu den Übungen 

Bitte versuchen Sie, sich möglichst gleichmäßig auf die 

Übungen zu verteilen. 

Besuchen Sie die Übungen und machen Sie die Hausaufgaben! 

Diesen Stoff kann man nur durch regelmäßiges Üben erlernen. 

Auswendiglernen hilft nicht besonders viel. 

Die Übungen beginnen in der zweiten Semesterwoche am 22. 

bzw. 23. Oktober. 





Hinweise zu den Übungen 

Das Übungsblatt wird jeweils am Dienstag ins Netz gestellt. 

Das erste Übungsblatt wird heute (15.10.) bereitgestellt. 

Die schriftlichen Aufgaben müssen bis spätestens Dienstag, 

16 Uhr, der darauffolgenden Woche abgegeben werden. 

In dieser Woche wird dann auch das Übungsblatt besprochen. 

Abgabe durch 

Elektronische Abgabe über die Lernplattform Moodle 

oder 

Einwurf in einen Briefkasten: 

Duisburg: Briefkasten neben dem Raum LF259. 

Essen: Briefkasten im Hochhaus Schützenbahn 70, in der 

5. Etage an der Wand (im Eingangsbereich rechts neben 

dem Klappschrank) 

Bitte geben Sie auf Ihrer Lösung deutlich Ihren Namen und 

Ihre Gruppennnumer an. 





Lernplattform Moodle 

Wir verwenden Moodle, um: 

die Aufgabenblätter zur Verfügung zu stellen, 

Hausaufgaben elektronisch abzugeben und 

Video-Mitschnitte der Vorlesung zur Verfügung zu stellen. 

Moodle-Plattform an der Universität Duisburg-Essen: 

http://moodle.uni-due.de/ (siehe auch Link auf der Webseite) 

Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden) 

und tragen Sie sich in den Kurs “Berechenbarkeit und 

Komplexität” (Abteilung Informatik und Angewandte 

Kognitionswissenschaft) ein. 

Zugangsschlüssel: . . . 





Mündliche Prüfung/Klausur 

Es gibt mehrere Möglichkeiten, die Vorlesung prüfen zu lassen . . . 

Mündliche Prüfung (für Bachelor Duisburg) 

Mündliche Prüfung des Moduls “Theoretische Informatik” 

(“Automaten und Formale Sprachen”, zusammen mit 

“Berechenbarkeit und Komplexität”) 

Termine: 2.-4. März 2009 

Ab sofort liegen Listen im Sekretariat (LF 227) aus, in die Sie sich 

eintragen können, um einen Termin zu erhalten. 

Schriftliche Prüfung (für Bachelor Essen & Nebenfachstudierende) 

Klausur am Ende des Semesters 

Termin: Montag, 16. Februar 2009, 10:00–12:00, Raum LB 107 






Für beide Bachelor-Studiengänge (Duisburg/Essen) gibt es eine 

Bonusregelung: 

Wenn Sie 80% der Hausaufgaben abgegeben haben und dabei 

50% der Punkte erzielt haben, so erhalten Sie einen Bonus für 

die Klausur und für die Modulprüfung 

Auswirkung: Verbesserung um eine Notenstufe; z.B. von 2,3 

auf 2,0 

Für die Bachelor-Modulprüfung “Theoretische Informatik” 

(Duisburg): die Bonus-Voraussetzungen sind für jede 

Teilvorlesung (“Automaten und Formale Sprachen” & 

“Berechenbarkeit und Komplexität”) zu erfüllen. 






Staatsexamen 

Lehramtsstudierende, die Staatsexamen machen wollen, melden 

sich bitte (rechtzeitig) über das Landesprüfungsamt an. 

Die Prüfung wird in diesem Fall vom Landesprüfungsamt 

organisiert, wir machen nur die Aufgabenstellung. 






Für alle Diplomstudierenden “Angewandte Informatik”, die diese 

Vorlesung hören, um den Inhalt der (nicht mehr existenten) 

Vorlesung “Informatik B2” zu wiederholen: 

Fachprüfung (für Diplomstudierende AI) 

Mündliche Prüfung (in Kombination mit einem anderen Fach, 

Termin nach Vereinbarung) 

siehe auch: 

http://www.ti.inf.uni-due.de/people/koenig/fachpruefung/ 

(Anleitung, um einen Fachprüfungstermin zu erhalten) 


Literatur 




Die Vorlesung basiert im 

wesentlichen auf folgendem 

Buch: 

Uwe Schöning: Theoretische 

Informatik – kurzgefaßt. 

Spektrum, 2008. 

(5. Auflage) 


Literatur 




Weitere relevante Bücher: 

Neuauflage eines alten 

Klassikers: 

Hopcroft, Motwani, Ullman: 

Introduction to Automata 

Theory, Languages, and 

Computation, 

Addison-Wesley, 2001. 

Auf Deutsch: 

Hopcroft, Motwani, Ullman: 

Einführung in die 

Automatentheorie, Formale 

Sprachen und 

Komplexitätstheorie, 

Pearson, 2002. 


Literatur 




Vossen, Witt: Grundkurs 

Theoretische Informatik, 

vieweg, 2006. 


Literatur 




Asteroth, Baier: 

Theoretische Informatik, 

Pearson, 2003. 


Literatur 




Sipser: Introduction to the 

Theory of Computation, 

Thomson, 2006. 


Folien 

Folien werden 




im Web als PDF bereitgestellt 

regelmäßig aktualisiert 

Die Folien werden sich evtl. gegenüber dem letzten Semester 

(zweiter Teil von “Informatik B2”) etwas verändern. Trotzdem 

macht es Sinn, sich die Folien des Vorjahrs schonmal anzusehen 

(Link: siehe Vorlesungs-Webseite).

1x1 - TI - Universität Duisburg-Essen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?