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

Theoretische Grundlagen der Informatik, Vorlesung, WS16/17

תוכן מסופק על ידי Karlsruher Institut für Technologie (KIT). כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Karlsruher Institut für Technologie (KIT) או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

7+ y ago 1:31:49

MP4•בית הפרקים

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 פרקים

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