|
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 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?
|
|