predicate calculus
noun
mass noun
- the branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers谓词演算。
单词 | predicate calculus |
释义 | predicate calculusnoun mass noun
|
随便看 |
英汉双解词典包含131075条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。