1) partial recursive predicate
部分递归谓词
2) recursive predicate
递归谓词
3) general recursive predicate
一般递归谓词
4) primitive recursive predicate
原始递归谓词
5) Foreign predicate
外部谓词
6) partial recursive functional
部分递归泛函
1.
Compared with the computability of the partial recursive functional,the procedure schemata computable functional is proved to be an expansion of the partial recursive functional.
通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条