siclsche

Aus ProgrammingWiki

Thema - Vorbereitungen

Thema - Berechenbarkeitsbegriff

Thema - Entscheidbarkeit und Aufzählbarkeit

Thema - Sätze und Zusammenhänge

Thema - Turing-Berechenbarkeit und Churchsche These

Thema - UTM, Reduktion,Satz von Rice

Thema - Alternative Berechnungsmodelle, Der λ-Kalkül, Registermaschine

Thema - Mehrband-Turing-Maschine, LOOP-, WHILE- und GOTO-Berechenbarkeit