| Thema | Übungsaufgaben | Studenten | Kreativaufgabe | Studenten |
|---|
| |Vorbereitungen | Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen | ?, ? | - | - |
| |Berechenbarkeitsbegriff | Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art | ?, ? | Der Hilbertbus | ?, ? |
| |Entscheidbarkeit und Aufzählbarkeit | Entscheidbarkeitsbegriff, Aufzaehlbarkeit, Semi-Entscheidbarkeit | ?, ? | Schnittmengen-Aufgabe | ?, ? |
| |Sätze und Zusammenhänge | Zusammenhang Aufzaehlbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion | ?, ? | Zeitbeschränkte Prozesse | ?, ? |
| |Turing-Berechenbarkeit und Churchsche These | Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These | ?, ? | RADO-Funktion | ?, ? |
| |UTM,Reduktion,Satz von Rice | Reduzierbarkeit und Unentscheidbarkeitsbeweis | ?, ? | Universelle Turingmaschine | ?, ? |
| |Gödelisierung | Gödelisierung | ?, ? | MU-Rätsel | ?, ? |
| |Lambda-Kalkül | Alternative Berechnungsmodelle, Der \lambda-Kalkül, Registermaschine | Tobias Salzmann, Ronald Krause | RAM-Programm | Jens Heider, Daniel Tasche, Stefan Scheumann, Robert Rosenberger, Tobias Salzmann, Ronald Krause |
| |Mehrband-Turingmaschine | Ackermann-Peter-Funktion | ?, ? | WHILE Compiler | ?, ? |
| |primitiv-rekursive Funktionen | Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen | ?, ? | | |
| |\mu-rekursive Funktionen | Lösungen bereits in Vorlesungs-Folien | ?, = | Gödelisierung und \mu-rekursive Funktionen | ?, ? |
|