查询词典 predicate calculus

Predicate: The part of a sentence which comprises a finite verb or a verb phrase and which says something about the subject is grammartically called predicate.

句子中由限定动词或者动词词组构成并对主语进行表述的这一部分在语法上叫做谓语。

The atomic formula is called atom for short in predicate calculus .

在谓词演算中，有时将原子公式简称为原子。

The atomic formula is called atom for short in predicate calculus.

原子；组合电路单元；基本单位

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

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

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

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。