·2,447,543篇论文数据，部分数据来源于NoteExpress
同义词： functional calculus
以上来源于: WordNet
N the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals 谓词演算; 不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词的数理逻辑形式系统 (Also called functional calculus) → see also propositional calculus
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
从而形成了模糊谓词演算一种新的语构与语义体系。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
应用推荐