IIm18

Aus ProgrammingWiki

Archivierte Version vom 2019-03-18T08:01:21+00:00. Aktuelle Version

Berechenbarkeitstheorie und Kreativität

\| 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	?,?	Der Hilbertbus	?,?
\| Entscheidbarkeit und Aufzählbarkeit	Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit	?,?	Schnittmengen-Aufgabe	?,?
\| Sätze und Zusammenhänge	Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion	?,?	Zeitbeschränkte Prozesse	?,?
\| 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	?,?	Universelle Turingmaschine	?,?
\| Gödelisierung	Gödelisierung	Nico Purschke	MU-Rätsel	Nico Purschke
\| 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	?,?	Gödelisierung und μ-rekursive Funktionen	?,?