查询词典 completeness

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Results The ureter was completeness obstruction or non completeness,catarrh,fibre hyperplasia and eyewinker in blood vessel.

结果：输尿管完全或不完全梗阻，黏膜呈慢性炎症，部分黏膜上皮脱落，管壁纤维增生，血管内见有异物栓塞。

The details of proving the completeness theorem of formula system L~*, which is given by Prof. Wang, are reviewed, and the proving of strong completeness about L~* is analyzed and revised.

考察了形式系统*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于*系统强完备性证明中的错误并给出了一个全新的修正证明。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

In this paper, the completeness of no endpoint dense ordered set is proved by Robinson method. And the sufficient conditions are given to prove the completeness of a theory from Robinson method.

文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。

Results Theureter was completeness obstruction or non completeness,catarrh,fibrehyperplasia and eyewinker in blood vessel.

结果：输尿管完全或不完全梗阻，黏膜呈慢性炎症，部分黏膜上皮脱落，管壁纤维增生，血管内见有异物栓塞。

In parent-children relationship, there are obvious difference resulted from varied completeness, environment, negative influence, involver, inspector of homework completeness.

五、 国小高年级学童完成家庭作业的完成度、环境、负面影响、参与者、检查者层面对於亲子互动关系有显著的差异。

It is shown by the analysis of its time complexity and completeness as well as the numerical experiment that the proposed algorithm can achieve the goal of completeness and rapid convergence.

对算法进行的时间复杂度和完备性分析以及数值实验表明，基于遗传算法的粗糙集属性约简算法具有完备、快速收敛等特点。

First, in the aspect of influence of knowledge transaction cost factors on the choice of knowledge transfer mechanisms,"task uncertainty","information completeness","information asymmetry", and "knowledge tacitness" had direct influence on knowledge buyers when they chose knowledge transfer mechanisms. While "trust","task uncertainty","information completeness","knowledge tacitness","knowledge asset specificity" had indirect influence on the choice of knowledge transfer mechanisms.

在知识交易成本因子对知识移转机制选择之影响方面，「任务不确定性」、「资讯完备性」、「资讯不对称性」与「知识内隐性」对组织内知识需求者知识移转机制选择有直接影响，而「信任」、「任务不确定性」、「资讯完备性」、「知识内隐性」与「知识资产特殊性」则是对知识移转机制选择有间接影响；2。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。