semicomputable predicate

Смотреть что такое "semicomputable predicate" в других словарях:

• Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized …   Wikipedia