filmov
tv
05: Turing-Maschine, Church'sche These, Gödelnummer, Diagonalsprache
Показать описание
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
Dozent:
Torsten Ueckerdt | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik
Vorlesungsaufzeichnung: KIT | WEBCAST
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
Dozent:
Torsten Ueckerdt | Karlsruher Institut für Technologie (KIT), Institut für Theoretische Informatik
Vorlesungsaufzeichnung: KIT | WEBCAST
1:25:34
05: Turing-Maschine, Church'sche These, Gödelnummer, Diagonalsprache
1:25:26
05: Entscheidbarkeit und Berechenbarkeit, Korollar, Die Church´sche These, Turing-Maschine
1:19:07
06: Tuting-Maschine, Konfiguration, Church'sche These, Gödelnummer, Diagonalsprache
1:31:49
06: Die Church´sche These, Die Gödelnummer, Die Diagonalsprache
1:27:08
06: Turing-Maschine, berechenbar/totalrekursiv, Gödelnummer, Diagonalsprache
0:13:15
Berechenbarkeit #02 - Church-Turing-These
1:23:01
05: Rechtsinvarianz und Index, Nerode-Relation, Registermaschine, Turing-Maschine
0:02:02
TI_6_11 Turing-Maschine: Beispiele für Flußdiagramm-Darstelung
0:07:12
TI_6_22 Universelle Turing-Maschine: Einleitung
0:11:14
TI_6_16 Nichtdeterministische Turing-Maschine: Beispiel
0:12:16
Die deterministische 1-Band-Turingmaschine erklärt
1:24:35
05: Äquivalenz, Rechtsinvarianz und Index, Satz von Nerode, Registermaschine, Turingmaschine
0:06:17
Universelle Turingmaschinen
0:16:50
Turing-Maschinen
0:08:52
Simulation einer Turingmaschine am Beispiel: Anagramme
1:08:45
11: Berechenbarkeitsbegriff, Church´sche These, LOOP-, WHILE-, GOTO und RAM-Berechenbarkeit
0:05:06
TI_6_20 Nichtdeterministische Turing-Maschine: Halte- und Akzeptanzbegriff
0:10:57
Turingmaschine Uebungen
0:18:28
Mehrband-Turingmaschinen
0:59:18
14: Nicht-entscheidbare Probleme, Gödelnummer, Universelle Turingmaschine, Halteproblem
1:25:56
Theoretische Informatik Vorlesung Nr. 19
0:20:45
#2 TI - Turingmaschine mit Beispielaufgabe
0:06:26
TI_6_23 UTM: Bestimmung Codierung einer TM (Goedelwort)
0:03:19
TI_6_30 6 Erlaeuterung TM
Комментарии