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