KIT | KIT-Bibliothek | Impressum | Datenschutz

05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.11.2018

Ueckerdt, Torsten; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:10 Letzte Vorlesung
  • 0:09:00 Beispiel - Turing Maschine
  • 0:13:57 Bemerkungen zur TM
  • 0:15:23 Definition zur TM
  • 0:18:43 Notation: Konfiguration
  • 0:19:54 Beispiel: Konfiguration
  • 0:26:21 Definition: berechenbar / totalrekursiv
  • 0:28:10 Beispiel
  • 0:34:10 Entscheidbarkeit und Berechenbarkeit
  • 0:39:01 Korollar
  • 0:40:51 Die Church'sche These
  • 0:44:25 Erweiterung der Turing-Maschine
  • 0:51:23 Die Universelle Turing-Maschine
  • 0:54:51 Die Gödelnummer
  • 0:57:52 Die Gödelnummer - Bemerkungen
  • 1:00:43 Die Gödelnummer - Beispiel
  • 1:01:53 Definition
  • 1:04:27 Die Diagonalsprache
  • 1:09:32 Die Diagonalsprache - Veranschaulichung
  • 1:10:40 Unentscheidbarkeit der Diagonalsprache
  • 1:13:33 Korollar
  • 1:14:03 Paradoxien und Selbstbezüglichkeit
  • 1:15:46 Halteproblem


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