Vorlesung 01
|
00:01:12
|
Modellieren von Problemen, Einführung der TM |
|
00:01:41
|
Def. Berechnungsproblem |
|
00:02:34
|
Alphabete und Wörter |
|
00:05:49
|
Beispiel: Priemfaktorbestimmung |
|
00:10:39
|
Entscheidungsprobleme als Sprachen |
|
00:13:04
|
Entscheidungsproblem Beispiel |
|
00:14:48
|
Zentrale Fragestellung |
|
00:16:03
|
DTM |
|
00:18:43
|
Formale Definition DTM |
|
00:22:15
|
Funktionsweise der TM |
|
00:26:27
|
Bemerkungen zur TM |
|
00:27:38
|
Funktionsweise der TM Beispiel |
|
00:35:57
|
Sinn und Zweck des TM-Modells |
|
00:36:58
|
Formale Definition TM-Berechenbar / TM-Entscheidbar |
|
00:38:04
|
Programmierung der TM am Beispiel |
|
00:47:44
|
Definition: Konfiguration |
|
00:53:12
|
Techniken zum Programmieren von TM's |
|
00:59:14
|
Beispiel: Additionmit 3-Spuren TM |
|
01:04:50
|
Exkurs zu Rekursionen |
|
01:08:26
|
Zusammenfassung: Vorlesung 01 |