| 词汇 | predicate calculus |
| 类别 | 英汉双解翻译词典 |
| 释义 | predicate calculus 释义 谓词演算:一种形式逻辑系统,用于表示和推理关于对象和它们之间关系的陈述。 例句 1·Predicate Calculus and Program Semantics. 谓词演算与程序语义。 2·Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed. 从而形成了模糊谓词演算一种新的语构与语义体系。 3·Three temporal logics i. e. first-order predicate calculus , modal logic and reified logic are discussed. 讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。 |
| 随便看 |
|
忘忧网共收录380556个中英文词条,基本覆盖所有常见英语词汇的释义及翻译,是不可多得的语言学习平台,帮助读者化解英语学习中的各种疑难问题。