Aus ProgrammingWiki
BuK für IIGm16
Prüfungsplan
BuK, Mo., 26.06.17, GII/105
| Zeit | Studierender
|
| 08:00 | Stephan Strehler
|
| 08:20 | Hayfa Chandoul
|
| 08:40 | Gerardo Balderas
|
| 09:00 | Michal Svancar
|
| 09:20 | Roula Antoun
|
| 09:40 | Johannes Kretschmer
|
| 10:00 |
|
| 10:20 |
|
| 10:40 |
|
| 11:00 |
|
| 11:20 |
|
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 | Chernel, ? | Der Hilbertbus | Chernel, ?
|
| Entscheidbarkeit und Aufzählbarkeit | Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit | Strehler | Schnittmengen-Aufgabe | Strehler
|
| Sätze und Zusammenhänge | Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion | Balderas | Zeitbeschränkte Prozesse | Balderas
|
| Turing-Berechenbarkeit und Churchsche These | Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These | Kretschmer | RADO-Funktion | Kretschmer
|
| UTM,Reduktion,Satz von Rice | Reduzierbarkeit und Unentscheidbarkeitsbeweis | Skoczek | Universelle Turingmaschine | Skoczek
|
| Gödelisierung | Gödelisierung | Svancar | MU-Rätsel | Svancar
|
| Lambda-Kalkül | Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine | ?,? | RAM-Programm | ?,?
|
| Mehrband-Turingmaschine | Ackermann-Peter-Funktion | Antoun | WHILE Compiler | Antoun
|
| primitiv-rekursive Funktionen | Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen | Strehler | |
|
| $\mu$-rekursive Funktionen | Lösungen bereits in Vorlesungsfolien | Hayfa | Gödelisierung und $\mu$-rekursive Funktionen | Hayfa
|
Playground für Studenten
