go top

soundness theorem 添加释义

网络释义专业释义

  可靠性定理

个逻辑相关的英语单词 ... 语义 semantics 可靠性定理 soundness theorem 完备性定理 completeness theorem ...

基于30个网页-相关网页

  性定理

此语言的核心在于 OE 和 AO 两个不确定函数,文献[3]还提出并证明了两个定理:合理性定理(soundness theorem)和完全性定理(completeness theorem),以说明 RCL2000 和严格形式的一阶谓词逻辑(RFOPL)的等价性.

基于20个网页-相关网页

  • 可靠性定理

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

双语例句

  • 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合理性完全性定理,并其它不确定推理方法作了比较

    dict.cnki.net

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

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

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