查询词典 logic

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

In the third and fourth part, the connation and characteristics of affinity to people are clarified systematically on the basis of excavating and combing its original materials with the joint method of history and logic.

第三、第四部分运用历史和逻辑相统一的方法，在深入梳理、挖掘墨子原始资料的基础上，按照墨子思想自身内在的逻辑，对其思想之人民性的内涵和特征进行了系统的阐释，以突显出它的整体结构和理论框架。

Each component connected by using the AND operator in a logic operation formula.

在逻辑运算公式中，用and运算符连接的各项。例如，在"aandb"一''。

Tweaked conquistador retreat logic slightly.

调整了征服者撤退的逻辑判断

All these five parts compose one complete organic unit, and make the whole article consecutiveness, strictly logic, affluent datum, intensive theory and clear consecution.

这五部分内容构成了一个有机的整体，也使全文显得前后呼应、逻辑严密、数据详实、说理透彻、条理清晰。

Consistency conditions in the development system are defined as concrete graph properties in first-order logic with equality. Some classes of consistency conditions related to object and relation types, processes, styles and applications are defined.

在考察了各种对象的演化特征之后，我们用图重写规则定义了基本演化规则，包括对象、关系的添加和删除，对象、关系类型的修改，以及一些典型的高级演化规则。

The database structure contains the conspectus and the logic design.

数据库结构设计包括数据库概论结构设计和数据库逻辑结构设计。

It can be used to systematically construct state array and sequence diagram,write logic expressions,and draw control circuit diagram based on technical requirements.

介绍了根据工艺要求系统地构成状态表和程序图，写逻辑表达式。画控制线路的具体方法。

These challenges are mainly reflected in three aspects:to replace reasonableness with symmetry,logic with context,and realism with constructionism.

这种挑战主要体现在三个方面：以对称性取代合理性、以发现的语境取代辩护的逻辑、以建构论取代实在论。

In this paper, we are discussing the concept of intuitionism, and their logic ,and their constructive mathematics.

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学，同时还概述了人们对直觉主义派的一般评论。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。