... von eurer Lieblinξfaχschaft
und eurem Lieblinξverein

Vorlesungen online

Berechenbarkeit und Komplexität zum Feed...

Semester: WS16
Veranstalter: Prof. Schweitzer
Di, 18.10.16 Einführung,
Organisation
Vorlesung 00
1080p RWTH-intern 667 MB
720p RWTH-intern 343 MB
360p RWTH-intern 175 MB
im Browser abspielen
Fr, 21.10.16 Berechnungsprobleme,
Turingmaschinen,
TMs mit mehreren Spuren
Vorlesung 01
1080p RWTH-intern 1.16 GB
720p RWTH-intern 595 MB
360p RWTH-intern 304 MB
im Browser abspielen
Di, 25.10.16 TMs mit mehreren Spuren,
TMs mit mehreren Bändern,
Universelle TMs
Vorlesung 02
1080p RWTH-intern 1.16 GB
720p RWTH-intern 596 MB
360p RWTH-intern 305 MB
im Browser abspielen
Fr, 28.10.16 Random Access Machines,
Umwandlung von TMs und RAMs,
Church-Turing-These
Vorlesung 03
1080p RWTH-intern 1.14 GB
720p RWTH-intern 585 MB
360p RWTH-intern 299 MB
im Browser abspielen
Fr, 04.11.16 Abzählbarkeit,
Grenzen der Berechenbarkeit,
Diagonalsprache
Vorlesung 04
1080p RWTH-intern 1.07 GB
720p RWTH-intern 550 MB
360p RWTH-intern 281 MB
im Browser abspielen
Di, 08.11.16 Diagonalsprache,
Unterprogrammtechnik,
Halteproblem,
Collatz-Problem
Vorlesung 05
1080p RWTH-intern 884 MB
720p RWTH-intern 454 MB
360p RWTH-intern 232 MB
im Browser abspielen
Fr, 11.11.16 Escaping,
Partielle Funktionen,
Satz von Rice
Vorlesung 06
1080p RWTH-intern 1.13 GB
720p RWTH-intern 583 MB
360p RWTH-intern 298 MB
im Browser abspielen
Di, 15.11.16 Aufzähler,
Semi-Entscheidbarkeit
Rekursive Aufzählbarkeit,
Komplemente, Schnitte, Vereinigungen,
Reduktionen
Vorlesung 07
1080p RWTH-intern 1.17 GB
720p RWTH-intern 602 MB
360p RWTH-intern 308 MB
im Browser abspielen
Fr, 18.11.16 Reduktionen,
Hilberts zehntes Problem
Vorlesung 08
1080p RWTH-intern 1.18 GB
720p RWTH-intern 605 MB
360p RWTH-intern 309 MB
im Browser abspielen
Di, 22.11.16 Das Postsche Korrespondenzproblem,
Simulation von TMs durch PKP
Vorlesung 09
1080p RWTH-intern 1.23 GB
720p RWTH-intern 634 MB
360p RWTH-intern 324 MB
im Browser abspielen
Fr, 25.11.16 WHILE und LOOP-Programme,
Eingeschränkte RAM
Vorlesung 10
1080p RWTH-intern 1.10 GB
720p RWTH-intern 570 MB
360p RWTH-intern 293 MB
im Browser abspielen
Di, 29.11.16 LOOP-Programme,
Ackermann-Funktion,
Zusammenfassung Berechenbarkeit
Vorlesung 11
1080p RWTH-intern 1.19 GB
720p RWTH-intern 613 MB
360p RWTH-intern 313 MB
im Browser abspielen
Di, 06.12.16 Einführung Komplexität,
Komplixitätsklassen P, NP, EXPTIME,
Einige Probleme,
Nichtdeterministische TMs
Vorlesung 12,
wurde nicht aufgezeichnet
noch keine Videos
Fr, 09.12.16 Optimierungs- und Entscheidungsprobleme,
KP, BBP, TSP,
Zertifikate & Verifizierer,
COLORING, SAT
Vorlesung 13
1080p RWTH-intern 1.24 GB
720p RWTH-intern 640 MB
360p RWTH-intern 327 MB
im Browser abspielen
Di, 13.12.16 NP-Schwere & NP-Vollständigkeit,
NP-Vollständigkeit von SAT & 3-SAT
Vorlesung 14
1080p RWTH-intern 1.15 GB
720p RWTH-intern 592 MB
360p RWTH-intern 303 MB
im Browser abspielen
Fr, 16.12.16 SUBSET-SUM,
PARTITION,
NP-Vollständigkeit vorheriger Probleme
Vorlesung 15
1080p RWTH-intern 846 MB
720p RWTH-intern 435 MB
360p RWTH-intern 222 MB
im Browser abspielen
Di, 20.12.16 NP-Vollständigkeit von CLIQUE,
Hamiltonkreisprobleme HC & DHC,
Evaluation (Kekse!),
NP-Vollständigkeit von TSP & {1,2}-TSP,
NP-Intermediate
Vorlesung 16
1080p RWTH-intern 1.08 GB
720p RWTH-intern 555 MB
360p RWTH-intern 284 MB
im Browser abspielen
Di, 10.01.17 Ausblick,
Approximationsalgorithmen,
Parametrisierte Algorithmen,
PSPACE, EXPTIME
Vorlesung 17
1080p RWTH-intern 939 MB
720p RWTH-intern 483 MB
360p RWTH-intern 247 MB
im Browser abspielen
Fr, 13.01.17 Zusammenfassung
Vorlesung 18
1080p RWTH-intern 612 MB
720p RWTH-intern 315 MB
360p RWTH-intern 161 MB
im Browser abspielen
Admin Bereich:

Fachschaft I/1, Mathematik/Physik/Informatik
RWTH Aachen