Rekursive Mengen < Komplex. & Berechnb. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Aufgabe | Zeigen Sie, dass zu jeder unendlichen, rekursiven Menge $A [mm] \subseteq \IN$ [/mm] eine rekursiv-aufzählbare Menge B existiert, so dass das Komplement $A [mm] \backslash [/mm] B$ von B in A nicht
rekursiv aufzählbar ist. |
Hallo,
hat jemand einen Tipp für mich? Ich stehe hier gerade völlig auf dem Schlauch bei dieser Aufgabe.
Vielen Dank, Gruß, stefan.
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:20 Mo 04.01.2010 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|