IIm11
Aus ProgrammingWiki
Archivierte Version vom 2012-06-20T16:27:41+00:00. Aktuelle Version
Inhaltsverzeichnis |
BuK für IIm11
Prüfungsplan
| Zeit || Studierender | |
|---|---|
| 08:00 | Name, Vorname |
| 08:20 | |
| 08:40 | |
| 09:00 | Krause, Ronald |
| 09:20 | Rosenberger, Robert |
| 09:40 | Salzmann, Tobias |
| 10:20 | |
| 10:40 | |
| 11:00 | |
| 11:20 | |
| 11:40 | |
| 12:00 | |
Bitte tragen Sie sich ein. Dies ist ab sofort möglich.
Aufgabenübersicht
| Thema | Übungsaufgaben | Studenten | Kreativaufgabe | Studenten |
|---|---|---|---|---|
| |Vorbereitungen | Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen | Stefan Scheumann, Robert Rosenberger | - | - |
| |Berechenbarkeitsbegriff | Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art | Tobias Salzmann, Ronald Krause | Der Hilbertbus | Jens Heider, Daniel Tasche |
| |Entscheidbarkeit und Aufzählbarkeit | Entscheidbarkeitsbegriff, Aufzaehlbarkeit, Semi-Entscheidbarkeit | Christof Ochmann, Ingo Koerner | Schnittmengen-Aufgabe | Stefan Scheumann, Robert Rosenberger |
| |Sätze und Zusammenhänge | Zusammenhang Aufzaehlbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion | Max Wielsch, Raik Bieniek | Zeitbeschränkte Prozesse | Ronald Krause, Tobias Salzmann |
| |Turing-Berechenbarkeit und Churchsche These | Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These | Jens Heider, Daniel Tasche | RADO-Funktion | Ronald Krause, Tobias Salzmann, Robert Rosenberger, Stefan Scheumann |
| |UTM,Reduktion,Satz von Rice | Reduzierbarkeit und Unentscheidbarkeitsbeweis | Felix Nitsche, Stefan Lüttke | Universelle Turingmaschine | Ronald Krause, Tobias Salzmann, Robert Rosenberger |
| |Gödelisierung | Gödelisierung | Stefan Scheumann, Robert Rosenberger | MU-Rätsel | Tobias Salzmann, Ronald Krause |
| |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 | Christof Ochmann, Ingo Körner | WHILE Compiler | Ronald Krause, Tobias Salzmann, Robert Rosenberger, Stefan Scheumann |
| |primitiv-rekursive Funktionen | Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen | Raik Bieniek, Max Wielsch | ||
| |\mu-rekursive Funktionen | Lösungen bereits in Vorlesungs-Folien | - | Gödelisierung und \mu-rekursive Funktionen | (Robert Rosenberger) |