Namespaces
Variants
Actions

Decision-function(2)

From Encyclopedia of Mathematics
Revision as of 17:07, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The same as a Skolem function.

Comments

The phrase "decision function" in this sense is never used in Western literature.

How to Cite This Entry:
Decision-function(2). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Decision-function(2)&oldid=14285