IIm16

Aus ProgrammingWiki

Inhaltsverzeichnis

BuK, Mo., 26.06.17, GII/105

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