查询词典 weak completeness

Information and education only and is not guaranteed by the Chicago Board of Trade as to accuracy, completeness, nor

该刊物中的信息确信为通过可靠资料来源所取得。然而，该刊物的目的仅为提供资料参考和教育。

The unique style of my work is probably the sense of dotted and brokenness within the sense of completeness.

整体上有着点体的氛围，又有局部的意味。不难把握其画面的整体色调及其氛围，也不妨的玩味每一局部，在那层层迭压又层层参差显露的复杂到叹为观止的色彩群落中，却充满着无数的矛盾与统一。

Warehouse requiring that the building-up data compatibility and completeness are strong , security is good to the former.

对于前者要求建立数据一致性和完整性强、安全性好的库。

The final result indicates that in the expression of the completeness relation,the integral path is along the real axis from -∞ to ∞ but runs over near the origin,which is contrary to the Cauchy principal value appearing in previous works.

同时得到展开式中的积分是沿实轴从-∞到∞，但在原点附近将从上方绕过。这不同于过去所得的C auchy主值积分。为最明确显示这一差别，在单孤子情况下又用平方Jost函数的显式，直接作了验证。

Using the sectional force and torque balance method to consider the effects of load force and temperature,provides a more completeness and systematic mathematical model.The working characteristic of bimetal strip is expressed by equivalent network.

采用综合考虑负载作用力及温度影响的分析条形双金属片的截面力－力矩平衡法，给出了较完整系统的数学模型；将双金属片用等效网络表示，用网络分析手段求解温度继电器、热继电器的工作参数；分析了在比弯曲最大的条件下各层界面、表面应力关系。

At completeness in theory, we give the base of mathematical morphology-complete lattice, and some nature of complete lattice.

作为理论上的完备性，我们给出了数学形态的代数学基础——完备格理论，并简单的介绍了完备格及其性质。

The completeness theorem of this method were proved at last.

最后， 证明了该方法的完备性。

At last, we give two simplified proof for the necessary lemma in order to prove the completeness theorem of PI resolving.

第二部分：基于均匀概率的思想，给出了Godel和Kleene三值命题逻辑系统中公式的真度理论。

Completeness Theorem showsthat syntactic and semantic consequences coincide in the case of the predicatelogic.

完全性定理表明一阶谓词逻辑的语法后承和语义后承是重合的，它标志着一阶逻辑的成熟。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我