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.