BuK/IIm11/BuK-Übung04

Wiki-Quelltext dieser Seite.

== Aufgabe 1 ==
Behauptung: Eine Menge M ist genau dann aufzählbar, wenn sie semi-entscheidbar ist.

=== Teilaufgabe 1 <tt>(Felix Nitsche, Stefan Lüttke, Jens Heider, Daniel Tasche)</tt> ===
zu zeigen: Wenn M aufzählbar, dann M semi-entscheidbar.

=== Teilaufgabe 2 <tt>(Max Wielsch, Raik Bieniek, Ingo Körner, Christof Ochmann)</tt> ===
zu zeigen: Wenn M semi-entscheidbar ist, dann ist M aufzählbar.

== Aufgabe 2 <tt>(Tobias Salzmann, Ronald Krause, Robert Rosenberger, Stefan Scheumann)</tt> ==
Ü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.