Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2013/14

Transkript

1 Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2013/14 Prof. Barbara König Übungsleitung: Henning Kerstan & Sebastian Küpper Barbara König BeKo/TI 1

2 Willkommen zu Berechenbarkeit und Komplexität (Bachelor Angewandte Informatik Ingenieur- und Medieninformatik, Duisburg) Theoretische Informatik: und effiziente Algorithmen (Bachelor Angewandte Informatik Systems Engineering & Lehramt, Essen) Barbara König BeKo/TI 2

3 Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung Literatur & Folien Einführung und Motivation: Berechenbarkeit und Komplexität Inhalt der weiteren Vorlesung Barbara König BeKo/TI 3

4 Wer sind wir? Dozentin: Prof. Barbara König Raum LF 264 (Campus Duisburg) barbara Sprechstunde: nach Vereinbarung Übungsleitung: Henning Kerstan & Sebastian Küpper Raum LF 261 (Campus Duisburg) Web-Seite: Barbara König BeKo/TI 4

5 Vorlesungstermine Termine: Donnerstag, 14:15-15:45 Uhr Jeweils im Raum LB 134 (Duisburg) bzw. S07 S00 D07 (Essen) Videoübertragung in beide Räume Dozentin ist im Wechsel in Duisburg und Essen (genauer Plan bis Weihnachten: siehe Webseite) Barbara König BeKo/TI 5

6 Termine der Übungsgruppen/Tutorien Übungsgruppen in Duisburg: Mittwoch, 8:00-10:00 Uhr, Raum LC 137 (Gruppe D1) Donnerstag, 12:00-14:00 Uhr, Raum LC 137 (Gruppe D2) Donnerstag, 16:00-18:00 Uhr, Raum LC 137 (Gruppe D3) Übungsgruppen in Essen: Dienstag, 8:30-10:00 Uhr, Raum SH 403 (Gruppe E1) Donnerstag, 12:00-14:00 Uhr, Raum SH 403 (Gruppe E2) Barbara König BeKo/TI 6

7 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 dritten Semesterwoche am 28. Oktober. Barbara König BeKo/TI 7

8 Hinweise zu den Übungen Das Übungsblatt wird jeweils am Montag ins Netz gestellt. Das erste Übungsblatt wird am bereitgestellt. Die schriftlichen Aufgaben müssen bis spätestens Montag, 12 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: im Moment ist kein Briefkasten vorgesehen Barbara König BeKo/TI 8

9 Hinweise zu den Übungen Bitte geben Sie auf Ihrer Lösung oben deutlich Ihren Namen, Ihre Gruppennummer, Ihre Matrikelnummer und das Fach an. Bitte heften Sie die Blätter ordentlich zusammen. Elektronische Abgaben sind nur als PDF zulässig! Bitte benennen Sie Dateien nach folgendem Schema (um eine eindeutige Namenswahl zu gewährleisten): <nachname>-<blattnr>.pdf Sie dürfen in Zweier-Gruppen abgeben. Plagiate oder das Kopieren alter Musterlösungen sind selbstverständlich nicht erlaubt! In diesem Fall vergeben wir keine Punkte. Barbara König BeKo/TI 9

10 Lernplattform Moodle Wir verwenden Moodle, um: die Aufgabenblätter zur Verfügung zu stellen, Hausaufgaben elektronisch abzugeben und Video-Mitschnitte der Vorlesung (vom WS 12/13) zur Verfügung zu stellen. Moodle-2-Plattform an der Universität Duisburg-Essen: (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/Theoretische Informatik (Ingenieurwissenschaften Informatik und Angewandte Kognitionswissenschaft) ein. Zugangsschlüssel:... Barbara König BeKo/TI 10

11 Mündliche Prüfung/Klausur Es gibt mehrere Möglichkeiten, die Vorlesung prüfen zu lassen... Mündliche Prüfung (nur für Bachelor Duisburg) Mündliche Prüfung des Moduls Theoretische Informatik ( Automaten und Formale Sprachen, zusammen mit Berechenbarkeit und Komplexität ) Statt dieser mündlichen Prüfung kann man alternativ auch eine mündliche Prüfung in Rechnernetze und Sicherheit absolvieren. Termine: Februar 2014 Barbara König BeKo/TI 11

12 Mündliche Prüfung/Klausur Schriftliche Prüfung Klausur am Ende des Semesters (für alle Studierenden, auch Bachelor Duisburg, die die mündliche Prüfung nicht absolvieren) Termin: Donnerstag, 13. Februar 2014, 14:00 16:00 Uhr Anmeldung in beiden Fällen (schriftlich, mündlich) über das Prüfungsamt (ab ) Für die Essener Bachelorstudiengänge ist die Nachklausur voraussichtlich am Donnerstag, 3. April 2014, 14:00-16:00 Uhr Barbara König BeKo/TI 12

13 Mündliche Prüfung/Klausur Für beide Prüfungsformen gibt es eine Bonusregelung: Wenn Sie 50% der Hausaufgabenpunkte erzielt haben, so erhalten Sie einen Bonus für die Klausur und für die Modulprüfung. (Für das Vorrechnen in der Übung gibt es 10 Extrapunkte.) Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 Für die mündliche 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. Barbara König BeKo/TI 13

14 Mündliche Prüfung/Klausur 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 kümmern uns nur um die Aufgabenstellung (und korrigieren die Klausur). Barbara König BeKo/TI 14

15 Literatur Die Vorlesung basiert im wesentlichen auf folgendem Buch: Uwe Schöning: Theoretische Informatik kurz gefasst. Spektrum, (5. Auflage) Barbara König BeKo/TI 15

16 Literatur Weitere relevante Bücher: Neuauflage eines alten Klassikers: Hopcroft, Motwani, Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Auf Deutsch: Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und, Pearson, Barbara König BeKo/TI 16

17 Literatur Vossen, Witt: Grundkurs Theoretische Informatik, vieweg, Barbara König BeKo/TI 17

18 Literatur Asteroth, Baier: Theoretische Informatik, Pearson, Barbara König BeKo/TI 18

19 Literatur Sipser: Introduction to the Theory of Computation, Thomson, Barbara König BeKo/TI 19

20 Folien Folien werden im Web als PDF bereitgestellt regelmäßig aktualisiert Die Folien werden sich gegenüber dem letzten Jahr relativ wenig verändern. Von daher macht es Sinn, sich die Folien des Vorjahres schon einmal anzusehen (Link: siehe Vorlesungs-Webseite). Barbara König BeKo/TI 20