公理的例句大全

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

本文以Java语言为背景，重点讨论了类的继承和多态性的公理语义，同时也给出了必要的及相关的语言成分的公理语义。

Based on the non atomic game theory, the Aumann Shapley ( A S) prices, which are determined by five strong atomic, are used to allocate the joint cost or surplus.

基于无原子对策原理，探讨了Aumann-Shapley（A-S）定价公式在分配问题中的应用，并对其公理性质进行了深入分析。

Therefore , a method integrating axiomatic design and TRIZ is proposed.

提出了集成公理化设计理论与TRIZ解决设计问题的一种方法.

Simplify the axiom system of lattice implication algebras, which was given by Y.

给出的格蕴含代数的公理系统, 并给出另一个公理系统.

Two groups of axioms in the natural axiom system of probability theory are set up.

建立《概率论自然公理系统》中的第组和第组公理.

Based on the view that the theorem of closed mested interval is an axiom, this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem, and proves the general theorem of bull closed nested interval of real number.

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理。

We also give the axiomatic semantics of if statement and while statement and block statement in order to show that the axiomatic semantics plan is normal.

为了说明本文提出的公理语义方案具有一般性，也给出了具有异常处理机制条件下，if语句，while语句，和块等语句的公理语义。

The paper gave two basic principle of axiomatic design theory.

同时给出了公理设计理论的两个基本公理.

About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。

The concept of rationality has been the basic assumption and the indispensable premise of economic theory.

在经济理论中,理性概念已经作为基本假设和必要前提,被理论家们视为公理式的推理源头.

Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

This article introduces fuzzy information axiom ( FLA ) and presents a new evaluation approach based on FLA.

在信息公理的基础上,引入了模糊信息 公理 的概念,提出了基于模糊信息公理的评价方法.

Finally, the common logic coverage criteria are assessed against the axioms system.

最后通过这组公理系统来评估现有的逻辑覆盖测试准则.

Defines the concept of well sets in MS ( axiomatic medium set theory ) and discusses its characters.

在中介公理集合论系统 ( MS ) 中重新定义了良集的概念,讨论了它的性质.

Through discussing the separation axiom of topological space, we can get the relation-chain of separation axioms.

通过对拓扑空间上分离公理之间的讨论得出公理关系链,主要给出了各分离公理不能包含的例子.

The systematic, formal, axiomatic development of the logic of all forms and models of being.

事物的所有表示和模型的逻辑的,系统的, 正式的, 和公理性的开发.

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法.

This is axiomatically given.

这是以公理的方式给出的.

These axioms form the basis for term rewriting systems we for mining workflows.

这些公理构成了我们用以挖掘工作流的术语重写系统的基础.