IIm11

Aus ProgrammingWiki

Inhaltsverzeichnis

BuK, Mi., 07.11.2018, in GII/105; Testat und Prüfung

Thema	Übungsaufgaben	Studenten	Kreativaufgabe	Studenten
\|Vorbereitungen	Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen	?, ?	-	-
\|Berechenbarkeitsbegriff	Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art	Weinhold, ?	Der Hilbertbus	Mauky, ?
\|Entscheidbarkeit und Aufzählbarkeit	Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit	Knoche, ?	Schnittmengen-Aufgabe	Kunert, Weinhold
\|Sätze und Zusammenhänge	Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion	Breite, Zwierz	Zeitbeschränkte Prozesse	Breite, Zwierz
\|Turing-Berechenbarkeit und Churchsche These	Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These	Mauky	RADO-Funktion	Knoche
\|UTM,Reduktion,Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	Deutschmann, Horbach	Universelle Turingmaschine	Deutschmann, Horbach
\|Gödelisierung	Gödelisierung	?, ?	MU-Rätsel	Knoche, ?
\|Lambda-Kalkül	Alternative Berechnungsmodelle, Der \lambda-Kalkül, Registermaschine	?, ?	RAM-Programm	Jähne, ?
\|Mehrband-Turingmaschine	Ackermann-Peter-Funktion	Ziener, Reichel	WHILE Compiler	Mauky (Ziener, Reichel)
\|primitiv-rekursive Funktionen	Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen	Jähne, ?
\|\mu-rekursive Funktionen	Lösungen bereits in Vorlesungsfolien	?, =	Gödelisierung und \mu-rekursive Funktionen	?, ?