View
Tube
search
Sign in
Sign up
Subscriptions
NLogSpace
Unentscheidbarkeit
15,998 views
14 items
Last updated on May 17, 2020
public playlist
NLogSpace
10:50
Berechenbarkeit #27 - Entscheidbarkeit und Unentscheidbarkeit
NLogSpace
16:32
Berechenbarkeit #28 - Codierungen
NLogSpace
12:13
Berechenbarkeit #29 - Das spezielle Wortproblem ist unentscheidbar
NLogSpace
14:46
Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar
NLogSpace
18:19
Berechenbarkeit #31 - Reduktionen
NLogSpace
20:41
Berechenbarkeit #32 - Busy Beaver
NLogSpace
15:58
Berechenbarkeit #33 - Epsilon-Halteproblem und Leerheitsproblem sind unentscheidbar
NLogSpace
15:05
Berechenbarkeit #34 - Satz von Rice
NLogSpace
11:24
Berechenbarkeit #35 - Semantische und nicht-triviale Eigenschaften
NLogSpace
21:15
Berechenbarkeit #36 - Semi-Entscheidbarkeit
NLogSpace
11:34
Berechenbarkeit #37 - Leerheitsproblem ist co-semi-entscheidbar (Dovetailing)
NLogSpace
13:20
Berechenbarkeit #38 - Das Äquivalenzproblem ist unentscheidbar
NLogSpace
13:15
Berechenbarkeit #39 - Rekursive Aufzählbarkeit
NLogSpace
9:45
Berechenbarkeit #40 - Rekursiv aufzälbar vs. semi-entscheidbar