IIm11

Aus ProgrammingWiki

Archivierte Version vom 2013-03-23T08:13:43+00:00. Aktuelle Version

BuK für IIm12

Thema	Übungsaufgaben	Studenten	Kreativaufgabe	Studenten
\|Vorbereitungen	Indirekter und direkter 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	Kunert, ?	Schnittmengen-Aufgabe	Kunert, ?
\|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	Klahre, Scheffler, Steglich	RADO-Funktion	Klahre, Scheffler, Steglich
\|UTM,Reduktion,Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	Deutschmann, Horbach	Universelle Turingmaschine	Deutschmann, Horbach
\|Gödelisierung	Gödelisierung	?, ?	MU-Rätsel	?, ?
\|Lambda-Kalkül	Alternative Berechnungsmodelle, Der \lambda-Kalkül, Registermaschine	?, ?	RAM-Programm	?, ?
\|Mehrband-Turingmaschine	Ackermann-Peter-Funktion	?, ?	WHILE Compiler	Ziener, Reichel
\|primitiv-rekursive Funktionen	Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen	?, ?
\|\mu-rekursive Funktionen	Lösungen bereits in Vorlesungsfolien	?, =	Gödelisierung und \mu-rekursive Funktionen	?, ?