Entscheidbare Teilmengen

Neue Frage »

Auf diesen Beitrag antworten »
chillerstudent Entscheidbare Teilmengen

Meine Frage:
Hallo,

meine Aufgabe lautet:

Seien M1 und M2 beliebige entscheidbare Teilmengen der natürlichen Zahlen. Zeigen Sie die Gültigkeit der folgenden Behauptungen:

a) M1 U M2 ist entscheidbar.

b) M1 [latex]\cap [/latex]M2 ist entscheidbar.

c) M1 \ M2 ist entscheidbar.

Meine Ideen:
Erstmal allgemein:
Eine Menge ist dann entscheidbar, wenn das charakteristische Polynom berechenbar ist.

Ich weiß leider nicht wie ich die Gültigkeit beweisen soll. Vielleicht mit dem charakteristischen Polynom?
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »