| Art | Uhrzeit | Ort | Datum | LP | Dozent und Übungsleitung |
|---|---|---|---|---|---|
| V2 | Mittwoch 12:30 - 14:00 | AVZ III / HS 1 | 13. April - 20. Juli 2016 (ausser 18.5., 25.5. und 6.7.) | 2,5 | Prof. Rolf Klein, David Kübel |
| Ü2 | siehe Übungstermine | 19. April - 22. Juli 2016 (ausser 17. - 27. Mai) | 3,5 | Philipp Bruckschen, Martin Kretschmer, Pascal Mueller, Florian Nelles, Patrick Seume |
|
| Fragestunde | 10:00 - 11:00 | AVZ III / HS 2 | Mo. 25. Juli 2016 | ||
| 1. Klausurtermin | 14:30 - 16:00 Einlass 14:15 | Hauptgebäude HS X + I | Do. 28. Juli 2016 | ||
| 2. Klausurtermin | 15:30 - 17:00 Einlass 15:15 | Hauptgebäude HS X | Mo. 26. September 2016 | ||
Die Klausureinsicht zur zweiten Klausur fand am Freitag, den 7.10., zwischen 08:00 und 10:00 im Raum E.08 im Landesbehördenhaus in der Friedrich-Ebert-Allee 144 statt.
Bitte wenden Sie sich bei Fragen zu dieser Klausur nun an das Prüfungsamt.
Grenzen der Berechenbarkeit, Unentscheidbarkeit, Rekursionstheorie, NP-schwere Probleme, Theorie der NP-Vollständigkeit (Satz von Cook), polynomielle Reduktionen, randomisierte Algorithmen, Approximationsalgorithmen, Approximationshärte
Die Vorlesung basiert auf einem Skript, welches im Laufe des Semesters aktualisiert und erweitert wird. Für Interessierte wird in folgendem Paper der Universität Paderborn gezeigt, warum Game of Life unentscheidbar ist.
Eine kleine Übersicht über die in Vorlesung und Übung behandelten Berechnungsmodelle gibt es hier.
Update Skript 11.05.: Diverse Korrekturen und Kapitel 2.4.
Update Skript 07.06.: Diverse Korrekturen und Kapitel 3.
Wer die Übungen zu diesem Modul bereits in einem früheren Semester bestanden hat, erhält die Prüfungszulassung automatisch. Bitte überprüfen Sie selbst, ob dies in basis bereits eingetragen wurde und wenden Sie sich bei Problemen an David Kübel.
Wer aus früheren Semestern keinen Übungserfolg vorweisen kann, beachte:
| Gruppe | Wann | Wo | Tutor |
|---|---|---|---|
| 1 | Dienstag 10:15 - 11:45 | AVZ III / A7a | Philipp Bruckschen |
| 2 | Dienstag 14:15 - 15:45 | AVZ III / A6a | Philipp Bruckschen |
| 3 | Mittwoch 14:15 - 15:45 | AVZ III / A6b | Pascal Müller |
| 4 | Mittwoch 16:00 - 17:30 | AVZ III / A6a | Pascal Müller |
| 5 | Donnerstag 12:15 - 13:45 | AVZ III / A7a | Florian Nelles |
| 6 | Donnerstag 14:15 - 15:45 | AVZ III / A301 | Florian Nelles |
| 7 | Freitag 10:15 - 11:45 | AVZ III / A7a | Martin Kretschmer |
| 8 | Freitag 12:00 - 13:30 | AVZ III / A7a | Martin Kretschmer |
| | | |
|
| 10 | Donnerstag 10:15 - 11:45 | AVZ III / A301 | Patrick Seume |
| 11 | Donnerstag 12:15 - 13:45 | AVZ III / A301 | Patrick Seume |