KIT | KIT-Bibliothek | Impressum | Datenschutz

08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 21.11.2017

Ueckerdt, Torsten; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:17 Gliederung
  • 0:01:30 Turingmaschinen
  • 0:19:04 Erweiterung von Turingmaschinen
  • 0:19:18 Mehrere Spuren
  • 0:23:26 Mehrere Bänder
  • 0:25:01 Erweiterte Turingmaschinen
  • 0:31:56 Entscheidbarkeit
  • 0:32:09 Entscheidbarkeit - Definitionen
  • 0:36:34 Entscheidbarkeit - Zusammenhänge
  • 0:45:32 Entscheidbarkeit - Überblick
  • 0:46:31 Entscheidbarkeit - Komplementbildung
  • 0:48:09 Entscheidbarkeit - Überblick
  • 0:51:01 Entscheidbarkeit - Beispiele
  • 0:51:33 Diagonalsprache
  • 0:55:42 Halteproblem
  • 0:58:52 Iniverselle Sprache
  • 0:59:23 Post'sches Korrespondenzproblem
  • 1:02:59 Hilberts zehntes Problem
  • 1:08:44 Äquivalenzproblem
  • 1:09:35 Entscheidbarkeit - Werkzeugkasten
  • 1:10:01 Satz von Rice
  • 1:14:02 Zusammenfassung (Werkzeugkasten)

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