BuK-Übung04
Aus ProgrammingWiki
Archivierte Version vom 2012-04-06T09:24:27+00:00. Aktuelle Version
Inhaltsverzeichnis |
Aufgabe 1
Behauptung: Eine Menge M ist genau dann aufzählbar, wenn sie semi-entscheidbar ist.
Teilaufgabe 1 (Felix Nitsche, Stefan Lüttke, Jens Heider, Daniel Tasche)
zu zeigen: Wenn M aufzählbar, dann M semi-entscheidbar.
Teilaufgabe 2 (Max Wielsch, Raik Bieniek, Ingo Körner, Christof Ochmann)
zu zeigen: Wenn M semi-entscheidbar ist, dann ist M aufzählbar.
Aufgabe 2 (Tobias Salzmann, Ronald Krause, Robert Rosenberger, Stefan Scheumann)
ÜA: Vervollständigen Sie die Herleitung der Funktionen für x und y aus z = π(x, y) und geben Sie als Beispiel die Ermittlung von x und y aus z = π(1, 3) = 13 an.