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

1:19:07
 
Teilen
 

Manage episode 198837309 series 2078468
Von Karlsruher Institut für Technologie (KIT) entdeckt von Player FM und unserer Community - Das Urheberrecht hat der Herausgeber, nicht Player FM, und die Audiodaten werden direkt von ihren Servern gestreamt. Tippe auf Abonnieren um Updates in Player FM zu verfolgen oder füge die URL in andere Podcast Apps ein.
06 | 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

19 Episoden