Direkt zum Inhalt

Lexikon der Mathematik: entscheidbares Prädikat

eine k-stellige Relation über den natürlichen Zahlen (k ≥ 1), deren charakteristische Funktion berechenbar ist (berechenbare Funktion).

Dies bedeutet, daß es einen Algorithmus gibt, der für jede Eingabe (n1, …, nk) in endlich vielen Schritten entscheidet, ob die Relation auf die Eingabe zutrifft oder nicht.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos