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

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

    youdao

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

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

    youdao

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

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

    youdao

  • The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w...

    给出URS语法语义证明了URS的合理性完全性定理,并其它不确定推理方法作了比较

    youdao

  • The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w...

    给出URS语法语义证明了URS的合理性完全性定理,并其它不确定推理方法作了比较

    youdao

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

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

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