请输入您要查询的英文单词:

 

单词 predicate calculus language
释义
predicate calculus language
  • 简明释义
  • 谓词演算语言
  • 网络释义
  • 1

    ?谓词演算语言

    谓词演算语言 predicate calculus language 一阶谓词演算 first-order logic; first-order predicate calculus; fopc ..

  • 双语例句
  • 1
    Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
    谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
  • 2
    This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
    这种情况下的断言似乎就需要实现特定的语言扩展,于是一些人建议引入一阶谓词演算。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/31 6:11:01