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

Theoretische Grundlagen der Informatik, Vorlesung, WS16/17

Contenuto fornito da Karlsruher Institut für Technologie (KIT). Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Karlsruher Institut für Technologie (KIT) o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

7+ y ago 1:31:49

MP4•Pagina principale dell'episodio

06 | 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

18 episodi

#Hochschulbildung #Bildung #Vorlesung #Informatik #Berechnungsmodelle #Determinismus #Nichtdeterminismus #Berechenbarkeit #Komplexitätstheorie #Grammatiken #Karlsruher Instituts Für Technologie KIT #Video #KIT #Theorie