词汇“predicate calculus”的读音、翻译、意思、用法、解释-英汉双解翻译词典-香川网

网站首页英汉词典

词汇	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. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	be subject to是什么意思 be-subject-to是什么意思 be subject to a rule/law/penalty/tax etc是什么意思 be subject to something是什么意思 be subject to sth是什么意思 be sucked in是什么意思 be sucked into something是什么意思 be suffocating是什么意思 be suffused with something是什么意思 be sunk是什么意思 be sunk in sth是什么意思 be supposed to是什么意思 be-supposed-to是什么意思 be supposed to do/be something是什么意思 be sure about是什么意思 be-sure-about是什么意思 be sure about sb是什么意思 be sure about someone是什么意思 be sure of是什么意思 be-sure-of是什么意思 be sure of/about someone是什么意思 be sure of (doing) something是什么意思 be sure of sb是什么意思 be sure of someone是什么意思 be sure of yourself是什么意思

香川网共收录380556个中英文词条，基本覆盖所有常见英语词汇的释义及翻译，是不可多得的语言学习平台，帮助读者化解英语学习中的各种疑难问题。