Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17. Wer sind wir? Willkommen zu

Transkript

1 Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17 Prof. Barbara König Übungsleitung: Sebastian Küpper Willkommen zu Berechenbarkeit und Komplexität (Bachelor Angewandte Informatik, Duisburg & Essen) Die Vorlesung hieß früher auch Theoretische Informatik: und effiziente Algorithmen (Bachelor Angewandte Informatik Systems Engineering, Essen) Barbara König BeKo/TI 1 Wer sind wir? Barbara König BeKo/TI 2 Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung & Folien Einführung und Motivation: Berechenbarkeit und Komplexität Inhalt der weiteren Vorlesung Dozentin: Prof. Barbara König Raum LF 264 (Campus Duisburg) barbara koenig@uni-due.de Sprechstunde: nach Vereinbarung Übungsleitung: Sebastian Küpper Raum LF 261 (Campus Duisburg) sebastian.kuepper@uni-due.de Web-Seite: Barbara König BeKo/TI 3 Barbara König BeKo/TI 4

2 Vorlesungstermine Termine der Übungsgruppen/Tutorien Übungsgruppen in Duisburg: Termine: Donnerstag, 14:15-15:45 Uhr Jeweils im Raum LB 134 (Duisburg) bzw. R14 R02 B07 (Essen) Videoübertragung in beide Räume Dozentin ist im Wechsel in Duisburg und Essen Mittwoch, 8:30-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 SM 205 (Gruppe E2) Donnerstag, 16:00-18:00 Uhr, Raum SH 403 (Gruppe E3) Hinweise zu den Übungen Barbara König BeKo/TI 5 Hinweise zu den Übungen Barbara König BeKo/TI 6 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 2. November. (Die Übung am Dienstag entfällt in dieser Woche.) 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: es ist kein Briefkasten vorgesehen Barbara König BeKo/TI 7 Barbara König BeKo/TI 8

3 Hinweise zu den Übungen Tutorium 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, pro Gruppe nur eine Abgabe! Plagiate oder das Kopieren alter Musterlösungen sind selbstverständlich nicht erlaubt! In diesem Fall vergeben wir keine Punkte. In diesem Semester wird die Vorlesung das erste Mal von einem Tutorium begleitet, das von Sebastian Küpper gehalten wird. Termine und Räume: Duisburg: Donnerstag, 8:30-10:00, LE 103 Essen: Donnerstag, 8:30-10:00, SL 012 Das Tutorium beginnt am in Essen, am findet es das erste Mal in Duisburg statt. (Von da an im Wechsel zwischen beiden Standorten.) Zu Beginn wird in Essen Stoff zur Theorie der Automaten und formalen Sprachen wiederholt. Anschließend werden Fragen der Studierenden beantwortet. Die Teilnahme am Tutorium ist nicht verpflichtend. Lernplattform Moodle Barbara König BeKo/TI 9 Barbara König BeKo/TI 10 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 (Ingenieurwissenschaften Informatik und Angewandte Kognitionswissenschaft) ein. 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 (voraussichtlich): März 2017 Zugangsschlüssel:... Barbara König BeKo/TI 11 Barbara König BeKo/TI 12

4 Für beide Prüfungsformen gibt es eine Bonusregelung: Schriftliche Prüfung Klausur am Ende des Semesters (für alle Studierenden, auch Bachelor Duisburg, die die mündliche Prüfung nicht absolvieren) Termin: Dienstag, 14. März 2017, 15:00 17:00 Uhr Anmeldung in beiden Fällen (schriftlich, mündlich) über das Prüfungsamt Für die Essener Bachelorstudiengänge wird eine Vorklausur am Dienstag, 14. Februar, stattfinden. Die Uhrzeit steht noch nicht fest. Wenn Sie 50% der Hausaufgabenpunkte 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 Durch einmaliges Vorrechnen in der Übung können zusätzlich noch 10 Punkte (entspricht halbem Übungsblatt) erzielt werden. 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 Barbara König BeKo/TI 14 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). Die Vorlesung basiert im wesentlichen auf folgendem Buch: Uwe Schöning: Theoretische Informatik kurz gefasst. Spektrum, (5. Auflage) Barbara König BeKo/TI 15 Barbara König BeKo/TI 16

5 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 17 Vossen, Witt: Grundkurs Theoretische Informatik, vieweg, Barbara König BeKo/TI 18 Asteroth, Baier: Theoretische Informatik, Pearson, Sipser: Introduction to the Theory of Computation, Thomson, Barbara König BeKo/TI 19 Barbara König BeKo/TI 20

6 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 21