查询词典 completeness theorem

And guided by Schur theorem, many of the Schur theorem inference arises, formed a complete theoretical system Schur theorem. Schur theorem and put many of its reasoning applied to the unitary matrix and the similarity matrix eigenvalue of proof onto.

在Schur定理的指导下，许多关于Schur定理的推论便产生了，并且形成了一个完整的Schur定理理论体系，把Schur定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

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

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

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机。

It is known from the experimental outcome that the sound frequency in attached area with defect is high and with completeness is low; the intensity in attached area with defect is weak and with completeness is strong.

经实验结果可得知瓷砖黏贴缺陷处之声音频率较高，而黏贴完整处之声音频率较低；瓷砖黏贴缺陷处之黏著强度较小，而黏贴完整处之黏著强度较大。

He tendered his resignation to the Prime Minister.

他向首相递了辞呈。不适合

International economy and trade,Nanking 210044

国际经济与贸易，南京 210044