primitive recursive function

primitive recursive function的基本解释

-

[计] 原始递归函数

与primitive recursive function相关的网络例句 [注：此内容来源于网络，仅供参考]

Based on the theory of recursive function ,this method adopts primitive recursive formula in function representation and is easy to be implemented on computer.

机器发现研究的目标是力图在事先不固定函数形式的条件下，发现新函数。

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

Keywords: Machine discovery,recursive function,primitive recursive formula,goal restraint.

递归函数法，该方法把待求函数本身作为唯一的理论项，从而保证了理论项的合适性；其发现能力也有所提高，该方法采用原始递归式定义函数，递归函数在理论上比较完善，故该方法具有很好的理论依据并且便于计算机实现。

与primitive recursive function相关的网络解释 [注：此内容来源于网络，仅供参考]

primitive recursive function：原始递归函数

priming 起动注油起动注水汽水共腾引火引动涂底漆栅偏压 | primitive recursive function 原始递归函数 | primitive 原始的

primitive recursive function：基元遞迴函數

原始遞迴 primitive recursive | 基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate

uniformly primitive recursive function：均匀[一致]原始递归函数

combativity 好斗性, 斗志 | uniformly primitive recursive function 均匀[一致]原始递归函数 | inoculability [医]接种, 注射

uniformly primitive recursive function：一致原始递归函数

uniformly placed 分布匀称的乳头 | uniformly primitive recursive function 一致原始递归函数 | uniformly retarded motion 匀减速运动

primitive recursive remainder function：原始递归余数函数

primitive recursive function 原始递归函数 | primitive recursive remainder function 原始递归余数函数 | primitive resolution 原语分解