07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 16.11.2017 - a podcast by Karlsruher Institut für Technologie (KIT)

07 |
0:00:00 Starten
0:00:06 Definitionen zur TM
0:01:15 Unentscheidbarkeit der Diagonalsprache
0:02:42 Die Universelle Sprache
0:09:51 Satz von Rice - Motivation
0:17:10 Das Post'sche Korrespondenzproblem
0:21:44 Eigenschaften von (semi-)entscheibaren Sprachen
0:28:02 Komplexitätstheorie
0:32:53 Wie sieht ein Problem aus?
0:37:56 Definition: Problem
0:39:34 Definition: Kodierungsschema
0:43:19 Äquivalenz von Kodierungsschemata
0:44:33 Entscheidungsprobleme
0:46:43 Korrespondenz von Entscheidungsproblemen und Sprachen
0:51:27 Zeitkomplexität
0:53:04 Die Klasse P
0:56:35 Algorithmus OPT-TOUR (als Beweis)
0:59:27 Die Nichtdeterministische Turingmaschine
1:04:41 Übertragung auf Entscheidungsprobleme PI
1:07:16 Bemerkungen zur NTM
1:13:15 Die Klasse NP

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS17/18

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)