logo_金山词霸_在线_文档_图片_翻译_fanyi_查词predicate calculus是什么意思_predicate calculus用英语怎么说_predicate calculus的翻译_predicate calculus翻译成_predicate calculus的中文意思_predicate calculus怎么读,predicate calculus的读音,predicate calculus的用法,predicate calculus的例句

翻译
  • predicate calculus

    • ['predikeit ˈkælkjələs]

    释义

    • 谓词演算
  • 实用场景例句

    • 全部

    The atomic formula is called atom for short in predicate calculus.

    在谓词演算中,有时将原子公式简称为原子.

    互联网

    Also, first - order predicate calculus isn't good enough anyway.

    同时, 从各方面来说,一阶谓词演算都不是足够好.

    互联网

    Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

    谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

    互联网

    收起实用场景例句
  • 英英释义

    Noun

    • 1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    收起英英释义
  • 行业词典

    • 数学

      谓词演算   又称 :谓词演算(functional calculus )