Education
13: Vorlesung| 0:00:00 Starten 0:00:10 LOOP-Programme 0:01:22 2.5 Die Ackermannfunktion 0:04:23 Totalität der Ackermannfunktion 0:07:53 Wie große Zahlen berechnet ein Loop Programm? 0:10:35 Die Ackermann Funktion ist nicht Loop-berechenbar 0:12:30 Beispiele 0:14:46 Monotonie der Ackermann Funktion 0:15:41 Beweis 0:34:56 Mehr schnell wachsende Funktionen 0:37:13 Wissen über Fleißige Biber 0:38:36 Rekordhalter 0:40:47 Langsam wachsende Funktionen 0:41:34 Union-Find Datenstruktur 0:44:30 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit 0:47:49 Paradoxien und Selbstbezüglichkeit 0:51:34 Entscheidbarkeit 0:52:51 Semi-Entscheidbarkeit 0:57:53 Rekursive Aufzählbarkeit 0:59:41 Rekursiv aufzählbar -> semi-entscheidbar 1:01:37 Semi-entscheidbar -> rekursiv aufzählbar 1:08:25 Äquivalente Aussagen