首页 | 胎教 | 预产期计算器 | 安全期计算器 | 汉语字典
当前位置:小娃子 > 英语单词大全 > predicate calculus是的意思

predicate calculus

  • 基本解释:谓词演算
  • predicate calculus 是什么意思及中文翻译:
  • 谓词演算

包含predicate calculus的短语更多>

predicate calculus 相关例句更多>

  • pure predicate calculus.
    纯谓词演算
  • annotated predicate calculus
    注解谓词演算
  • extended predicate calculus.
    广义谓词演算
  • one place predicate calculus
    一元谓词演算
  • restricted predicate calculus
    狭义谓词演算
  • Predicate Calculus and Program Semantics.
    谓词演算与程序语义。
  • The atomic formula is called atom for short in predicate calculus.
    在谓词演算中,有时将原子公式简称为原子。
  • In the refutation tree of predicate calculus, the proved conjunctive formula.
    在谓词演算的反驳树中, 被证明的合式公式。
  • NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
    一阶谓词演算自然演绎型直觉主义系统
  • A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus syntax.
    一个合法的谓词演算表达式, 即谓词演算语法所允许的公式。

相关单词

常用英语单词表

实用查询

汉语字典 汉语词典 成语大全 英语单词大全 英语近反义词 英语例句大全 在线组词 近义词大全 反义词大全 英文缩写大全 故事大全 造句大全 简繁字转换器 拼音在线转换 数胎动 安全期计算器 排卵期计算器 孕产期计算器 怀孕40周 2024年清宫表
©2024 小娃子  版权所有  小娃子 育儿生活实用查询工具