IIm18

Aus ProgrammingWiki

Berechenbarkeitstheorie und Kreativität

Prüfungsplan

BuK, Fr., 05.07.2019, in GII/105; Prüfung

Zeit	Studierender
08:00	Bachmann, Paul
08:20	Müller, Romy
08:40	Purschke, Nico
09:00	Richter, Daniel
09:20	Thies, Johannes
09:40	Rolof, Georg
10:00	Wittek, Florian
10:20	Gawantka, Falko
10:40

Aufgabenübersicht

Thema	Übungsaufgaben	Studenten	Kreativaufgabe	Studenten
Ausgewählte mathematische Grundlagen	Direkter und indirekter Beweis, Vollständige Induktion, Funktionen, Mengen	?,?
Berechenbarkeitsbegriff	Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art	Daniel Richter, Romy Müller	Der Hilbertbus	Daniel Richter, Romy Müller
Entscheidbarkeit und Aufzählbarkeit	Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit	Daniel Richter, Romy Müller	Schnittmengen-Aufgabe	Daniel Richter, Romy Müller
Sätze und Zusammenhänge	Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion	?,?	Zeitbeschränkte Prozesse	Georg Rolof
Turing-Berechenbarkeit und Churchsche These	Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These	Paul Bachmann, Johannes Thies	RADO-Funktion	Paul Bachmann, Johannes Thies
UTM, Reduktion und Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	Falko Gawantka	Universelle Turingmaschine	Falko Gawantka
Gödelisierung	Gödelisierung	Nico Purschke, Florian Wittek	MU-Rätsel	Nico Purschke, Florian Wittek
Lambda-Kalkül, RAM	Alternative Berechnungsmodelle, Der λ-Kalkül, Registermaschine	Paul Bachmann, Johannes Thies	RAM-Programm	Paul Bachmann, Johannes Thies
LOOP, WHILE und GOTO	Ackermann-Peter-Funktion	Georg Rolof	WHILE Compiler	Georg Rolof
Primitive-rekursive Funktionen	Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen	?,?		?,?
μ-rekursiven Funktionen	Lösungen bereits in Vorlesungsfolien	Nico Purschke, Florian Wittek	Gödelisierung und μ-rekursive Funktionen	Nico Purschke, Florian Wittek