go top

the completeness

网络释义

  完备的

...辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.

基于14个网页-相关网页

  完备性

...性质:(1)可 靠性(thesoundness).对任意的公式9,如果9可满 足则翻译后的公式97也可满足.(2)完备性the completeness).对任意的公式9,如果97可满足,则 ∞可满足.由式(1)和式(2)可知,公式的可满足性在 可靠和完备的翻译下被保持.但是这样的...

基于6个网页-相关网页

短语

The Completeness or the Adequateness 完整性

the Completeness principal 完整性原则

the completeness of values 价值全面性

the human of completeness 完整的人

The Principle of Completeness 完整性原则

completeness of the market 市场完备性

the equivalent proposition of completeness 完全性等价命题

 更多收起网络短语

有道翻译

the completeness

的完整性

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句原声例句权威例句

  • The relation between the completeness of several local convex topology and that of induction topology was pointed out in this paper.

    指出几种局部拓扑完整性感应拓扑的完整性之间关系

    youdao

  • The core of sufficiency is the completeness of who you are right now.

    自我满足核心“现状”的完整性

    youdao

  • The completeness, validity, and timeliness of a given domain cannot always be assessed in isolation.

    一个给定完整性有效性及时性并不总是可以孤立地加以评估

    youdao

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

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

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