查询词典 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.

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

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。