IIm18

Aus ProgrammingWiki

Archivierte Version vom 2019-03-15T22:14:06+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	?,?	RADO-Funktion	?,?
\| UTM, Reduktion und Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	?,?	Universelle Turingmaschine	?,?
\| Gödelisierung	Gödelisierung	?,?	MU-Rätsel	?,?
\| Lambda-Kalkül, RAM	Alternative Berechnungsmodelle, Der λ-Kalkül, Registermaschine	?,?	RAM-Programm	?,?
\| LOOP, WHILE und GOTO	Ackermann-Peter-Funktion	?,?	WHILE Compiler	?,?
\| Primitive-rekursive Funktionen	Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen	?,?		?,?
\| μ-rekursiven Funktionen	Lösungen bereits in Vorlesungsfolien	?,?	Gödelisierung und μ-rekursive Funktionen	?,?