查询词典 axiomatic system

The Elements begin with plane geometry , still taught in secondary school as the first axiomatic system and the first examples of formal proof .

在过去的二千年的形容词"欧"是不必要的，因为没有其他类型的几何已经设想。

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

Axiomatic system of law ; topics ; practical knowledge ; situational thinking

法律公理体系；论题学；实践知识；情境思维

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

In this paper, an axiomatic system for the definition of degree of greyness of grey number is built based on discussion with two definitions of degree of greyness of grey number which have been put forward in the past.

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

With the great change in sci-tech activities in high-tech era, the theme of philosophy of science has to be transformed into the Topics of Science from the traditional axiomatic system for static researches on single theory and paradigm conversion for dynamic researches on multiple theories.

随着"高科技时代"科学活动方式的巨大转变，科学哲学主题也将由传统的"公理体系"的单理论静态研究和"范式转换"的多理论动态研究向大科学时代的"科学论题学"研究转变。

This logical implication that perception of meaning is only possible if and only if the indefinite is included within the perception is the reason why the 19th century dream of a consistent and complete axiomatic system with only well defined empty signs had to fail (see more about that in my article, The Loop Logic).

这一逻辑隐含的意义是唯一可能的观感只要是无限期的观感是列入19世纪梦之所以一贯和明确的，只有彻底公理化体系空迹象已经失败(多看看，我在文章河套逻辑)。

Constructionalism Study Theory offers theoretical fundaments for the math education revolution, because that the modern math building itself is built on the basis of modern math fundaments of which the convergence axiomatic system is the representative.

建构主义学习理论为数学教育改革提供了理论基础，因为现代数学的大厦，本身就是在以集合论公理体系为代表的现代数学基础上建构起来的。

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进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。