KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 17.11.2016, 05

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:54 Definitionen zur TM
  • 0:05:56 Notation: Konfiguration
  • 0:07:50 Beispiel: Konfiguration
  • 0:20:37 Definition: berechenbar / totalrekursiv
  • 0:23:01 Beispiel
  • 0:27:27 Entscheidbarkeit und Berechenbarkeit
  • 0:30:19 Korollar
  • 0:33:21 Die Church´sche These
  • 0:36:38 Ertweiterungen der Turing-Maschine
  • 0:39:39 Die universelle Turing-Maschine
  • 0:44:35 Die Gödelnummer
  • 0:50:58 Die Gödelnummer - Bemerkungen
  • 0:53:35 Die Gödelnummer - Beispiel
  • 0:59:14 Definition
  • 1:01:05 Die Diagonalsprache
  • 1:05:35 Die Diagonalsprache - Veranschaulichung
  • 1:07:32 Unentscheidbarkeit der Diagonalsprache
  • 1:10:06 Korollar
  • 1:11:03 Paradoxien und Selbstbezüglichkeit
  • 1:14:47 Das Halteproblem
  • 1:21:00 Grenzen der Berechenbarkeit
  • 1:22:05 Halteproblem nicht entscheidbar


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