Berechenbarkeit und Komplexität

Semester:	Wintersemester 2007/08
Veranstalter:	Prof. Vöcking
Bemerkungen:	Seite zur Veranstaltung (die Videotitel wurden aus der Folienuebersicht entnommen)

Videos

- Übersicht
- Di, 16.10.2007, 08:30 Uhr
- Einführung zur Berechenbarkeit
- Fr, 19.10.2007, 12:00 Uhr
- Einführung zur Berechenbarkeit
- Di, 23.10.2007, 08:30 Uhr
- Einführung zur Berechenbarkeit
- Fr, 26.10.2007, 12:00 Uhr
- Einführung zur Berechenbarkeit
- Di, 30.10.2007, 08:30 Uhr
- Unentscheidbare Probleme / Diagonalisierung
- Fr, 02.11.2007, 12:00 Uhr
- Unentscheidbarkeit des Halteproblem
- Di, 06.11.2007, 08:30 Uhr
- Spezielles Halteproblem und Satz von Rice
- Fr, 09.11.2007, 12:00 Uhr
- Spezielles Halteproblem und Satz von Rice
- Di, 13.11.2007, 08:30 Uhr
- Fr, 16.11.2007, 12:00 Uhr
- kein Titel
- Rekursive Aufzählbarkeit / Reduktionen
- Di, 20.11.2007, 08:30 Uhr
- Rekursive Aufzählbarkeit / Reduktionen
- Fr, 23.11.2007, 12:00 Uhr
- Mächtigkeit von Programmiersprachen
- Di, 27.11.2007, 08:30 Uhr
- Mächtigkeit von Programmiersprachen
- Fr, 30.11.2007, 12:00 Uhr
- Klassische Probleme aus der Rekursionstheorie
- Di, 04.12.2007, 08:30 Uhr
- Klassische Probleme aus der Rekursionstheorie
- Di, 11.12.2007, 08:30 Uhr
- Polynomielle Komplexitätsklassen
- Di, 18.12.2007, 08:30 Uhr
- Polynomielle Komplexitätsklassen
- Di, 08.01.2008, 08:30 Uhr
- Polynomielle Reduktionen, NP-Vollständigkeit, Satz von Cook und Levin
- Fr, 11.01.2008, 12:00 Uhr
- Polynomielle Reduktionen, NP-Vollständigkeit, Satz von Cook und Levin
- Di, 15.01.2008, 08:30 Uhr
- NP-Vollständigkeit von 3SAT
  NP-Vollständigkeit von Graphproblemen
- Fr, 18.01.2008, 12:00 Uhr
- NP-Vollständigkeit von Graphproblemen
- Di, 22.01.2008, 08:30 Uhr
- NP-Vollständigkeit von Zahlproblemen
- Fr, 25.01.2008, 12:00 Uhr
- Übersicht über die Kompläxitätslandschaft
- Di, 29.01.2008, 08:30 Uhr
- Approximierbarkeit NP-harter Probleme
- Di, 05.02.2008, 08:30 Uhr
- Approximierbarkeit NP-harter Probleme
- Fr, 08.02.2008, 12:00 Uhr