KIT | KIT-Bibliothek | Impressum | Datenschutz

06: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 07.11.2019

Wagner, Dorothea; Sauer, Jonas; Brückner, Guido; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:01:05 (deterministische) Turing-Maschine
  • 0:06:34 Beispiel-Turing-Maschine
  • 0:16:35 Definitionen zur TM
  • 0:19:46 Notation: Konfiguration
  • 0:29:18 Definition: berechenbar/ totalrekursiv
  • 0:42:20 Entscheidbarkeit und Berechenbarkeit
  • 0:48:02 Korollar
  • 0:49:57 Die Church´sche These
  • 0:55:21 Erweiterung der Turing-maschine
  • 0:59:49 Die universelle Turing-Maschine
  • 1:03:07 Die Gödelnummer
  • 1:13:24 Die Diagonalsprache
  • 1:18:20 Unentscheidbarkeit der Diagonalsprache
  • 1:21:17 Paradoxien und Selbstbezüglichkeit
  • 1:23:10 Halteproblem

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 07.11.2019
Erstellungsdatum 07.11.2019
Sprache Deutsch
DOI 10.5445/DIVA/2019-840
Identifikator KITopen-ID: 1000116998
Lizenz KITopen-Lizenz
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20
Folge 6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page