IIm11

Aus ProgrammingWiki

Archivierte Version vom 2012-05-22T18:12:00+00:00. Aktuelle Version

BuK für IIm11

Thema	Übungsaufgaben	Studenten	Kreativaufgabe	Studenten
\|Vorbereitungen	Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen	Stefan Scheumann, Robert Rosenberger	-	-
\|Berechenbarkeitsbegriff	Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art	Tobias Salzmann, Ronald Krause	Der Hilbertbus	Jens Heider, Daniel Tasche
\|Entscheidbarkeit und Aufzählbarkeit	Entscheidbarkeitsbegriff, Aufzaehlbarkeit, Semi-Entscheidbarkeit	Christof Ochmann, Ingo Koerner	Schnittmengen-Aufgabe	Stefan Scheumann, Robert Rosenberger
\|Sätze und Zusammenhänge	Zusammenhang Aufzaehlbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion	Max Wielsch, Raik Bieniek	Zeitbeschränkte Prozesse	Ronald Krause, Tobias Salzmann
\|Turing-Berechenbarkeit und Churchsche These	Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These	Jens Heider, Daniel Tasche	RADO-Funktion	Ronald Krause, Tobias Salzmann, Robert Rosenberger, Stefan Scheumann
\|UTM,Reduktion,Satz von Rice	Reduzierbarkeit und Unentscheidbarkeitsbeweis	Felix Nitsche, Stefan Lüttke	Universelle Turingmaschine	Ronald Krause, Tobias Salzmann, Robert Rosenberger
\|Gödelisierung	Gödelisierung	Stefan Scheumann, Robert Rosenberger	MU-Rätsel
\|Lambda-Kalkül	Lambda-Kalkül	Tobias Salzmann, Ronald Krause	RAM-Programm	Jens Heider, Daniel Tasche, Stefan Scheumann, Robert Rosenberger, Tobias Salzmann, Ronald Krause