IIm11
Aus ProgrammingWiki
Archivierte Version vom 2013-06-23T17:10:10+00:00. Aktuelle Version
Inhaltsverzeichnis |
BuK für IIm12
Prüfungsplan
PP, Mi., 10.07.2013, in GII/105 (ggf. Aufenthaltsraum G II/307)
| Zeit || Studierender | |
|---|---|
| 08:00 | |
| 08:20 | Ochmann, Christof |
| 08:40 | Scheffler, Claudia |
| 09:00 | Steglich, Ragna-Diana |
| 09:20 | Horbach, Daniel |
| 09:40 | Zwierz, Mateusz |
| 10:20 | Kunert, Hendrik |
| 10:40 | Deutschmann, Felix |
| 11:00 | |
| 11:20 | |
| 11:40 | |
Aufgabenübersicht
| 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, Aufzählbarkeit, Semi-Entscheidbarkeit | Kunert, ? | Schnittmengen-Aufgabe | Kunert, ? |
| |Sätze und Zusammenhänge | Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion | Breite, Zwierz | Zeitbeschränkte Prozesse | Breite, Zwierz |
| |Turing-Berechenbarkeit und Churchsche These | Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These | Klahre, Scheffler, Steglich | RADO-Funktion | Klahre, Scheffler, Steglich |
| |UTM,Reduktion,Satz von Rice | Reduzierbarkeit und Unentscheidbarkeitsbeweis | Deutschmann, Horbach | Universelle Turingmaschine | Deutschmann, Horbach |
| |Gödelisierung | Gödelisierung | ?, ? | MU-Rätsel | ?, ? |
| |Lambda-Kalkül | Alternative Berechnungsmodelle, Der \lambda-Kalkül, Registermaschine | ?, ? | RAM-Programm | ?, ? |
| |Mehrband-Turingmaschine | Ackermann-Peter-Funktion | Ziener, Reichel | WHILE Compiler | Ziener, Reichel |
| |primitiv-rekursive Funktionen | Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen | ?, ? | ||
| |\mu-rekursive Funktionen | Lösungen bereits in Vorlesungsfolien | ?, = | Gödelisierung und \mu-rekursive Funktionen | ?, ? |