网站首页  英汉词典

请输入您要查询的英语词汇:

 

词汇 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个中英文词条,基本覆盖所有常见英语词汇的释义及翻译,是不可多得的语言学习平台,帮助读者化解英语学习中的各种疑难问题。

 

Copyright © 2000-2024 pbdnj.com All Rights Reserved
更新时间:2025/12/2 15:05:06