IIm11
Aus ProgrammingWiki
< BuK
Inhaltsverzeichnis |
BuK
Prüfungsplan
BuK, Mi., 07.11.2018, in GII/105; Testat und Prüfung
| Zeit | Studierender |
|---|---|
| 12:15 | Skoczek, Tomasz |
| 12:45 | Rahmanifirozjaee, Saeed |
| 13:15 | Murugesan, Vidhya Sagar |
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 | Weinhold, ? | Der Hilbertbus | Mauky, ? |
| Entscheidbarkeit und Aufzählbarkeit | Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit | Knoche, ? | Schnittmengen-Aufgabe | Kunert, Weinhold |
| 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 | Mauky | RADO-Funktion | Knoche |
| UTM,Reduktion,Satz von Rice | Reduzierbarkeit und Unentscheidbarkeitsbeweis | Deutschmann, Horbach | Universelle Turingmaschine | Deutschmann, Horbach |
| Gödelisierung | Gödelisierung | ?, ? | MU-Rätsel | Knoche, ? |
| Lambda-Kalkül | Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine | ?, ? | RAM-Programm | Jähne, ? |
| Mehrband-Turingmaschine | Ackermann-Peter-Funktion | Ziener, Reichel | WHILE Compiler | Mauky (Ziener, Reichel) |
| primitiv-rekursive Funktionen | Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen | Jähne, ? | ||
| $\mu$-rekursive Funktionen | Lösungen bereits in Vorlesungsfolien | ?, = | Gödelisierung und $\mu$-rekursive Funktionen | ?, ? |
Playground für Studenten
