KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 22.11.2016, 06

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:54 Definitionen zur TM
  • 0:05:21 Notation: Konfiguration
  • 0:07:49 Beispiel: Konfiguration
  • 0:20:00 Definition: berechenbar / totalrekursiv
  • 0:22:30 Beispiel
  • 0:26:57 Entscheidbarkeit und Berechenbarkeit
  • 0:30:18 Korollar
  • 0:33:13 Die Church´sche These
  • 0:36:20 Erweiterungen der Turing-Maschine
  • 0:39:17 Die universelle Turing-Maschine
  • 0:45:24 Die Gödelnummer
  • 0:50:45 Die Gödelnummer - Bemerkungen
  • 0:54:43 Die Gödelnummer - Beispiel
  • 0:58:54 Definition
  • 1:00:08 Die Diagonalsprache
  • 1:05:42 Die Diagonalsprache - Veranschaulichung
  • 1:07:03 Unentscheidbarkeit der Die Diagonalsprache
  • 1:09:24 Korollar
  • 1:14:01 Paradoxien und Selbstbezüglichkeit
  • 1:17:13 Das Halteproblem
  • 1:24:15 Halteproblem nicht entscheidbar

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