KIT | KIT-Bibliothek | Impressum | Datenschutz

07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 16.11.2017

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 21.11.2017
Erstellungsdatum 16.11.2017
DOI 10.5445/DIVA/2017-676
Identifikator KITopen-ID: 1000115062
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page