单词 | predicate calculus |
释义 | predicate calculus 【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic] 以上来源于:《21世纪大英汉词典》 predicate calculusn.【逻】谓词演算;命题函项演算See alsopropositional calculus详细释义源自:《新世纪英汉大词典》Collins外研社 n.谓词演算;命题函项演算;参见:propositional calculus【逻辑】英英 |
随便看 |
|
英汉汉英词典包含3953260条英汉及汉英翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。