• Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.

    XQuery非正式设计为可以构造XML文档,而这些XML文档通过输入XML文档进行一阶谓词演算得出的。

    youdao

  • This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.

    本文借助中介逻辑谓词演算系统MFM,对不完全信息系统理论应用进行了研究

    youdao

  • After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

    之后美籍逻辑学家歌德尔一阶谓词演算完备性定理,标志着现代逻辑基础部分完成

    youdao

  • This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.

    这种情况下断言似乎需要实现特定语言扩展,于是一些建议引入一阶谓词演算

    youdao

  • Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法:一阶谓词演算模态逻辑具体化逻辑。

    youdao

  • Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.

    本文关系知识模型基础谓词演算关系演算描述了一个知识库管理系统GKBMS

    youdao

  • Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

    从而形成了模糊谓词演算新的语构语义体系

    youdao

  • In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.

    本文提出一种用条件谓词逻辑表示推理pki信任关系的方法。

    youdao

  • A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.

    一个合法谓词演算表达式谓词演算语法所允许公式。

    youdao

  • Predicate Calculus and Program Semantics.

    谓词演算程序语义

    youdao

  • Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

    谓词演算语言传统语义组成数理逻辑一个丰富分支

    youdao

  • Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

    谓词演算语言传统语义组成数理逻辑一个丰富分支

    youdao

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

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

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