IIm11

Aus ProgrammingWiki

Archivierte Version vom 2013-03-11T15:12:08+00:00. Aktuelle Version

BuK für IIm11

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	?, ?	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,Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	?, ?	Universelle Turingmaschine	?, ?
\|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	?, ?
\|primitiv-rekursive Funktionen	Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen	?, ?
\|\mu-rekursive Funktionen	Lösungen bereits in Vorlesungsfolien	?, =	Gödelisierung und \mu-rekursive Funktionen	?, ?