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.]
; 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 |
| Nachgewiesen in | OpenAlex |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20 |
| Folge | 6 |