N/Teilmengen/Endliche symmetrische Differenz/Entscheidbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Seien Teilmengen, deren symmetrische Differenz endlich sei. Zeige, dass genau dann aufzählbar bzw. entscheidbar ist, wenn aufzählbar bzw. entscheidbar ist.
Eine Lösung erstellen