endliche Mengen < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo
Jede endliche Menge ist doch entscheidbar.
Das heißt man kann bei jeder endlichen menge schauen ob ein ele ment aus einer Meng(Obermenge) in der Teilmenge enthalten ist?
Ist das richtig?
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 13:20 Fr 03.04.2009 | Autor: | fred97 |
> Hallo
>
> Jede endliche Menge ist doch entscheidbar.
>
> Das heißt man kann bei jeder endlichen menge schauen ob ein
> ele ment aus einer Meng(Obermenge) in der Teilmenge
> enthalten ist?
Was ist ?
>
> Ist das richtig?
Ich kenne das so:
Eine Teilmenge einer Menge M heißt entscheidbar, wenn die charakteristische Funktion dieser Teilmenge berechenbar ist.
FRED
|
|
|
|