Sign up to save your podcasts
Or
Share 07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 12.11.2019
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 12.11.2019
07 |
0:00:00 Start
0:00:29 Letzte Vorlesung
0:04:12 Halteproblem
0:10:25 Die universelle Sprache
0:16:34 Satz von Rice - Motivation
0:20:52 Bemerkungen zum Satz von Rice
0:22:30 Das Post´sche Korrespondenzproblem
0:34:51 Eigenschaften von (semi-) entscheidbaren Sprachen
0:39:07 Komplexitätstheorie
0:42:09 Wie sieht das Problem aus?
0:47:37 Definition: Problem
0:49:42 Definition: Kodierungsschema
0:55:30 Äquivalenz von kodierungsschemata
0:57:11 Entscheidungsproblem
1:02:21 Zeitkomplexität
1:07:08 Schwierigkeit von Entscheidungs- und Optimierungsproblem
1:11:35 Algorithmus OPT-TOUR (als beweis) 1/2
1:16:27 Laufzeit des Algorithmus
1:18:26 Zwischenstand Komplexitätstheorie
1:21:56 Die Nichtdeterministische turing-Maschine
1:23:25 Die Orakel-Turing-Maschine
View all episodes
By Karlsruher Institut für Technologie (KIT)07 |
0:00:00 Start
0:00:29 Letzte Vorlesung
0:04:12 Halteproblem
0:10:25 Die universelle Sprache
0:16:34 Satz von Rice - Motivation
0:20:52 Bemerkungen zum Satz von Rice
0:22:30 Das Post´sche Korrespondenzproblem
0:34:51 Eigenschaften von (semi-) entscheidbaren Sprachen
0:39:07 Komplexitätstheorie
0:42:09 Wie sieht das Problem aus?
0:47:37 Definition: Problem
0:49:42 Definition: Kodierungsschema
0:55:30 Äquivalenz von kodierungsschemata
0:57:11 Entscheidungsproblem
1:02:21 Zeitkomplexität
1:07:08 Schwierigkeit von Entscheidungs- und Optimierungsproblem
1:11:35 Algorithmus OPT-TOUR (als beweis) 1/2
1:16:27 Laufzeit des Algorithmus
1:18:26 Zwischenstand Komplexitätstheorie
1:21:56 Die Nichtdeterministische turing-Maschine
1:23:25 Die Orakel-Turing-Maschine
More shows like Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
View all
KIT Campus – Studieren und mehr | 2013
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
CAD tutorial in Mechanical Design, WT13/14
0 Listeners
KIT Campus – Studieren und mehr | 2014
0 Listeners
Internationales Forum am ZAK
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Edeltalk - mit Dominik & Kevin
20 Listeners
Kulturwissenschaft gestern und morgen
0 Listeners