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