predicate calculus是什么意思，predicate calculus的意思翻译、用法、同义词、例句

常用词典

[数] 谓词演算

Predicate Calculus and Program Semantics.

谓词演算与程序语义。

Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

从而形成了模糊谓词演算一种新的语构与语义体系。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

谓词演算

谓词演算是一种逻辑学中的形式系统，用于表达关于对象的陈述。它是一种基于谓词逻辑的数学方法，用于描述各种逻辑和数学概念，例如命题、量化和关系等。

The predicate calculus is a formal system used to express statements about objects. (谓词演算是一种用于表达关于对象的陈述的形式系统。)
Predicate calculus is used in many fields, including mathematics and computer science. (谓词演算在许多领域中得到应用，包括数学和计算机科学。)

谓词演算用于描述谓词、量词和变量之间的关系，以便可以对语句进行精确的判定和推理。

谓词演算是一种数学工具，用于描述关于对象的陈述。它通过谓词来描述对象的性质或关系，通过量词来描述对象的数量，通过变量来表示对象的范围。谓词演算可以用于表示各种逻辑和数学概念，例如命题、量化和关系等。谓词演算的主要应用领域包括数学、计算机科学和人工智能等。

谓词演算的近义词包括谓词逻辑、一阶逻辑和一阶谓词演算。

谓词演算的反义词包括命题演算和谓词演算的高阶版本，例如二阶谓词演算和高阶谓词演算。