KIT | KIT-Bibliothek | Impressum | Datenschutz

06: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 14.11.2017

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:01:54 Formale Definition der Tuting-Maschine
  • 0:04:18 Definition zur TM
  • 0:07:42 Motation: Konfiguration
  • 0:10:03 Beispiel: Konfiguration
  • 0:20:09 Definition: berechenbar/ totalrekursiv
  • 0:22:30 Beispiel
  • 0:30:39 Entscheidbarkeit und Berechenbarkeit
  • 0:32:46 Korollar
  • 0:34:56 Die Church'sche These
  • 0:39:00 Erweiterungen der Turing-Maschine
  • 0:44:35 Die universelle Turing-Maschine
  • 0:48:15 Die Gödelnummer
  • 0:53:04 Die Gödelnummer - Bemerkungen
  • 0:55:28 Die Gödelnummer - Beispiel
  • 0:58:51 Definition
  • 0:59:21 Die Diagonalsprache
  • 1:04:09 Die Diagonalsprache - Veranschaulichung
  • 1:05:41 Unentscheidbarkeit der Diagonalsprache
  • 1:07:53 Korollar
  • 1:10:12 Paradoxien und Selbstbezüglichkeit
  • 1:11:32 Halteproblem
Open Access Logo


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