Übung 1 - Vorbereitungen
Übung 2 - Berechenbarkeitsbegriff
Übung 3 - Entscheidbarkeit und Aufzählbarkeit
Übung 4 - Sätze und Zusammenhänge
Übung 5 - Turing-Berechenbarkeit und Churchsche These
Übung 6 - UTM,Reduktion,Satz von Rice