go top

the completeness 添加释义

网络释义

  完备的

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

基于14个网页-相关网页

  完备性

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

基于6个网页-相关网页

短语

the Completeness principal 完整性原则

The Principle of Completeness 完整性原则

the human of completeness 完整的人

the completeness of values 价值全面性

The Completeness or the Adequateness 完整性

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

completeness of the market 市场完备性

completeness of the revolution 革命的彻底性

 更多收起网络短语

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

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

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

    www.ibm.com

  • This allows us to evaluate the completeness of the use-case model from a business perspective, as each system use case must support one or more business use cases.

    就允许我们业务观点来评价模型完整性因为每个系统必须支持更多业务

    www.ibm.com

  • One important area of difference relates to the completeness and correctness of the security implementations.

    一个重要不同之处就是安全性实现完整性正确性

    www.ibm.com

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

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

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