查询词典 axiomatization

Therefore, this chapter, in the first place, discusses the axiomatization of theory ofevolution and introduce in detail Williams' axiomatic system about evolution. Insecond place, it discusses the dissipative theory and the hypercycle theory. Thisdiscussion is actually about a kind of semantic which is the molecular model.

因此，在这一章，首先，对进化理论的公理化形式进行讨论，详细介绍了Williams进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

The process of axiomatization of vector theory is also studied.

另外还简单介绍了向量的公理化过程。

The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years.

量子逻辑是伴随着量子理论的数学公理化而发展起来的一种理论，有着80年的历史和丰富的内容。

In this section we present an axiomatization of NBG ( actually, two different ones, the second a refinement of the first ).

在本节中提供一个 NBG 的公理化(实际上有两个不同的公理化，第二个精致了第一个)。

The research methods adopted include axiomatization, psychological experiments, and computer simulations.

为了建构该理论，可以采用公理化、心理实验及计算机仿真等研究方法。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

In traditional population genetics, one important exception is the ability to develop a powerful axiomatization of the subject that does bear strong analogies to equation based theories of physics.

在传统的统计遗传学中，一个重要的例外是把主题内容公式化的能力，这种公式化确实具有与物理学理论类似的函数表述。

This is to be seen in the context of the axiomatization of the whole of pure mathematics , which went on in the period c.1900 c.1950: in principle all methods are on a common axiomatic footing.

笛卡儿的做法目前占主导地位，有几何的问题正在处理的工具，其他地区的数学和几何理论的相当开放和综合。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

In the ordinary axiomatization of probability theory by means of measure theory , the problem is to construct a sigma-algebra of measurable subsets of the space of all functions, and then put a finite measure on it.

在普通公理化的概率论的方式衡量理论，问题是要建设一个六西格玛代数的可衡量的亚空间的所有功能，然后把有限的程度上它。用于这一目的的一个传统使用的方法称为柯尔莫哥洛夫延长。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。