IIm11

Aus ProgrammingWiki

Archivierte Version vom 2012-04-18T11:41:31+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	-
\|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	Aufgaben	Jens Heider, Daniel Tasche	RADO-Funktion