完备性

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

We first provethe Bergman completeness for several class of non-smooth pseudoconvex domains.

我们首先证明了几类非光滑边界拟凸域的Bergman完备性；接着，我们研究超凸域上的Bergman度量。

Based on cognition psychology and information entropy the author has proposed a simplifying algorithm that reduced the construction complexity degree.

2在粗糙集理论与挖掘算法的基础之上，研究了概念格的理论与知识表达方法，提出了具有完备性的分类知识的挖掘算法，构建了基于概念格的分类知识表达结构模型，并在认知心理学与信息熵的理论基础上，研究了降低概念格构造复杂度的简化算法。

In this paper, an algorithm to test the completion for query evaluation of REITER algorithm has been developed, by which we can know whether the answer given by REITER algorithm is complete or partial.

本文给出了一个测试REITER算法在某一数据库的求解过程中是否保持其完备性的算法，由此可知，通过REITER算法求得的解是完全解还是部分解。

At last, we complete a sampling system to validate the rightness of the new resolution method.

最后，我们实现了一个尺寸标注系统完备性检查的原型系统，验证了上述原理和方法的正确性。

Service messages were described by tree grammar and operations for service adaptation were defined based on tree automata algebra.

提出了以树型文法表示服务的消息，并基于树型自动机的代数操作定义了服务的适配操作集，分析了该操作集的完备性。

Completeness of the set of real numbers is its basic character, and it is stable theory background of calculus.

摘要实数集的完备性是实数集的1个基本特征，它是微积分学的坚实的理论基础。

The dissertation gives a self-contained definition of Complex boundary and interior based on point set topology so that the Complex was consistent with the common description of spatial objects. It is in favor of a unifying between nature description and theory representation of spatial entities in 3DGIS.

本文基于点集拓扑学理论，对复形的边界和内部进行了完备性定义，使得空间实体的复形表达符合人类对空间对象的直观认识，有助于在3DGIS中实现空间实体的自然描述与理论表达的统一。

Both the normal semi-cloud model and the shift operator are introduced to that method to make sure that data partition in the method can reflect some information about the actual data distribution,to reduce the number of rules generated by the new method,and to increase the rules' fitness.

该方法采用"半正态云"作为基本云，并引入位移因子，使基于数据的规则提取算法中的数据划分能充分反映数据的实际分布，减少提取的规则数量，提高规则的推理精度；通过引入数据关键点及最佳分割点以保证规则库的完备性。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。