rekursive Mengen < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | A [mm] \subseteq \IN [/mm] ist eine Menge natürlicher Zahlen,
G [mm] \subseteq \IN [/mm] ist die Menge der gerade natürlichen Zahlen,
U [mm] \subseteq \IN [/mm] ist die Menge der ungeraden natürlichen Zahlen.
Zu zeigen:
A ist genau dann rekursiv, wenn A [mm] \cap [/mm] G und A [mm] \cap [/mm] U rekursiv sind. |
Hallo,
wie zeige ich das? Ich hatte überlegt, dass ich zeige, dass die Menge G und die Menge U auch rekursiv sind und dann zeige, dass die Schnittmenge von zwei rekursiven Mengen, also A [mm] \cap [/mm] G ebenfalls rekursiv ist und das gleiche nochmal für A [mm] \cap [/mm] U.
Aber das kann es nicht sein, oder?
Hat jemand eine bessere Idee?
Danke,
Anna
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 21:25 Mo 07.01.2008 | | Autor: | Gilga |
Die Idee ist schon richtig
<= Folgt da die beiden Schnittmengen eine Partitionierung von A sind
=> Zeige dass U und G rekursiv sind. Und dann dass auch die beiden Schnittmengen rekursiv sind.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:22 Sa 19.01.2008 | | Autor: | Anna-Lyse |
Hallo,
vielen Dank!
Gruß,
Anna
|
|
|
|
