说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 递归定理
1)  recursion theorem
递归定理
2)  second recursion theorem
第二递归定理
3)  first recursion theorem
第一递归定理
4)  recursive definition
递归定义
1.
Sub-ontology,atom ontology,and the recursive definition of ontology are made under summarization of the existing results.
总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。
2.
Besides of meeting more needs from users, in the latest version of the collecting sub database of the oil and gas production dynamic database, a kind of bran new recursive definition mode is successfully used to replace the former attributive definition mode by way of a.
目前该库在满足更高需求的前提下 ,通过分析关键数据的内在联系 ,在升级版的汇总库中采用了全新的递归定义模式来取代过去的定语定义模式 ,并取得了良好的实际效
3.
Summarizing the results of the calculation we obtain a recursive definition of Sn,and the result that Sn can be generated by the binary elements,which may facilitate us to have further researches on abstract groups.
并将结果用于Sn(n=2,3,4,5,6)进行验证,表明了程序判断的正确性,对计算结果进行归纳获得了Sn的递归定义及Sn可由二元生成等结果,可为进一步研究抽象群提供方便。
5)  recurrence quantification
递归定量
6)  recursive negation
递归否定
1.
Both of them have the feature of recursive negation and can be explained generally by the feature.
实际上这两类悖论从语言生成的角度看都具有递归否定的特点,因此可以用递归否定这一语言结构性质来统一语法悖论和语义悖论。
补充资料:卡氏第二定理
      见克罗蒂-恩盖塞定理。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条