- 更多网络例句与原始递归函数相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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.
递归函数法，该方法把待求函数本身作为唯一的理论项，从而保证了理论项的合适性；其发现能力也有所提高，该方法采用原始递归式定义函数，递归函数在理论上比较完善，故该方法具有很好的理论依据并且便于计算机实现。
- 更多网络解释与原始递归函数相关的网络解释 [注：此内容来源于网络，仅供参考]
-
combativity：好斗性, 斗志
acid fixing bath 酸性定象浴 | combativity 好斗性, 斗志 | uniformly primitive recursive function 均匀[一致]原始递归函数
-
inoculability：[医]接种, 注射
uniformly primitive recursive function 均匀[一致]原始递归函数 | inoculability [医]接种, 注射 | crude density 粗密度
-
uniformly placed：分布匀称的乳头
uniformly optimal plan for moving target 动目标的一致最优方案 | uniformly placed 分布匀称的乳头 | uniformly primitive recursive function 一致原始递归函数
-
primitive recursive function：原始递归函数
priming 起动注油起动注水汽水共腾引火引动涂底漆栅偏压 | primitive recursive function 原始递归函数 | primitive 原始的
-
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 原语分解
-
primitive recursive attribute：原始递归属性
primitive polynomial 本原多项式 | primitive recursive attribute 原始递归属性 | primitive recursive function 原始递归函数
-
primitive recursive isomorphism：原始递归同构
primitive recursive function 原始递归函数 | primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词