Ü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
Übung 7 - Gödelisierung
Übung 8 - Lambda-Kalkül
Übung 9 - Mehrband-Turingmaschine
Übung 10 - primitiv-rekursive Funktionen
Übung 11 - \mu-rekursive Funktionen