Berechenbarkeit #01 - Einführung
Berechenbarkeit und Entscheidbarkeit
Informatik 132: Die Grenzen der Berechenbarkeit
Reduktionen: Theoretische Informatik (einfach erklärt!)
GOTO-Berechenbarkeit und der Zusammenhang zu anderen Berechenbarkeitsbegriffen
Berechenbarkeit #02 - Church-Turing-These
Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar
Das Halteproblem | Theoretische Informatik
Halteproblem, Berechenbarkeit und Entscheidbarkeit in zweieinhalb Minuten
Berechenbarkeit #31 - Reduktionen
Berechenbarkeit #34 - Satz von Rice
Berechenbarkeit #48 - Postsches Korrespondenzproblem (PKP)
Berechenbarkeit und Entscheidbarkeit für Turing-Maschinen
Aufgaben zu Entscheidbarkeit und Satz von Rice [Klausuraufgaben Berechenbarkeit #03]
Berechenbarkeit #32 - Busy Beaver
Berechenbarkeit #11 - Funktionen berechnen
Komplexität und Berechenbarkeit von Mode - Johannes Kretzschmar - Science Slam DASA Dortmund
WHILE-Berechenbarkeit
Berechenbarkeit #04 - Turing-Maschinen (Beispiele)