go top

completeness theorem 添加释义

网络释义专业释义

  完全性定理

... completeness of curen.固化完全度 completeness theorem完全性定理 globular completeness完全无缺 ...

基于54个网页-相关网页

  [数] 完备性定理

...完备性定理。 [gap=491]maximum-minimum theorem, intermediate value theorem, uniform continuity theorem, completeness theorem. ...

基于32个网页-相关网页

  性定理

theorem)和完全性定理(completeness theorem),以说明RCL2000和严格形式的一阶谓词逻辑(RFOPL)的等价性.

基于14个网页-相关网页

短语

myhill completeness theorem 曼希尔完备性定理

Gödel completeness theorem 完全性定理

Godel completeness theorem 翻译 ; 哥德尔完全性定理

generalized completeness theorem 广义完全性定理

 更多收起网络短语
  • 完备性定理 - 引用次数:1

    参考来源 - BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论
    完全性定理

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • This implies that Rolles Theorem is the direct consequence of completeness of real numbers.

    由此可见罗尔微分中值定理可以实数完备直接推论

    www.dictall.com

  • This system is functionally complete, has7axioms, and its completeness theorem has been proved.

    系统7 个公理具有函数完备系统完备性。

    epub.cnki.net

  • The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

    本文目的基本时态逻辑建立一个完备性定理

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定