公理方法

词组短语

axiomatic method

与公理方法相关的网络例句 [注：此内容来源于网络，仅供参考]

But it also wouldn't be the Cloud- Cuckoo-Land you create with your Axiom of Choice … Do you know what delusions you can arrive at by means of the Axiom of Choice?

但是它也不再是你们用公理选择建造起来的理想国……你们知道利用公理选择的方法会产生什么错觉吗？

This axiomatic method has been the model for many systems of rational thought, even outside mathematics, for over 2,000 years.

这种公理方法是2，000多年来许多理性思想体系的模范。

"Intuitionists rejected certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

"Intuitionists reject ed certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

In this dissertation,Von Numann and Morgenstern Axioms are analyzedagain at first.It is pointed out not only that preference relations are often latticeordered,but also that the transitivity axiom,along with the independence axiomand the continuity axiom is still rational to a high degree,then a new set ofaxioms for lattice-order decision-making behavior is established.At last,relatedsubjects based on lattice in preference theory,utility theory,decision-makingmethods,multiattribute decision-making,and group decision-making are studied.In this way,the lattice-order decision-making theory is framed.Main creativeresults are obtained as follows

本论文重新审视了Von Neumann-Morgenstern理性行为公理体系，对以前学者较少涉及到的连通性公理提出了质疑，指出偏好关系具有格特征，而传递性公理、独立性公理以及连续性公理在很大程度上仍具有合理性，进而创建了格序决策行为公理体系，研究了基于格的偏好理论、效用理论、决策方法、多目标决策以及群决策中的相关问题，初步构建了格序决策理论框架，主要研究成果如下

As an application of the above proof, we obtain at once that there is an open and dense set in the set of Ω-stable systems such that every system in the set satisfies Axiom A and the no-cycle condition (Axiom A and the strong transversality condition, respectively).

作为上述方法的一个运用，马上可以得出在Ω稳定系统的集合中有一开稠集满足公理 A 和无环性条件(对应的，公理 A 和强横截性条件)。

Byapplying a general large deviation theorem of Kifer and Ruelle's Smale space tech-nique together with his unique equilibrium state result for non-Holder continuousfunctions,we obtain a level-2 LDT for the Axiom A endomorphism with respectto its equilibrium states,and for Axiom A attractors of the endomorphism withrespect to the Lebesgue measure.

利用Kifer的一个一般性的LDT，Ruelle的Smale空间方法及其关于非〓连续函数平衡态的存在唯一性结果，我们证明了公理A自映射相对平衡态的level-2 LDT，以及自映射的公理A吸引子相对Lebesgue测度的level-2LDT。

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

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

与公理方法相关的网络解释 [注：此内容来源于网络，仅供参考]

axiom of union：并联公理

迭合公理 axiom of superposition | 并联公理 axiom of union | 公理式的方法;公设式的方法 axiomatic method

axiomatic method：公理式的方法;公设式的方法

并联公理 axiom of union | 公理式的方法;公设式的方法 axiomatic method | 公理化的集合论 axiomatic set theory

axiomatic method：公理方法

功率谱密度|power spectrum density | 公理方法|axiomatic method | 公理化集合论|axiomatic set theory

axiomatic method：公设方法;公理方法

849,"axiom system","公设系统" | 850,"axiomatic method","公设方法;公理方法" | 851,"axiomatic set theory","公设化的集合论"

axiomatic set theory：公理化的集合论

公理式的方法;公设式的方法 axiomatic method | 公理化的集合论 axiomatic set theory | 公理系统;公理学 axiomatics

axiomatic set theory：公理化集合论

公理方法|axiomatic method | 公理化集合论|axiomatic set theory | 公理化理论|axiomatic theory

axiomatic semantics：公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

mean value theorem：中值定理

可能有人认为,即使是不能陈述出方法,也不能因此就否定或放弃这公理,因为在数学上有很多"存在性定理"(Existence Theorems),都是只指出某事件的存在性,而不具体描述寻求的方法,例如:中值定理(Mean Value Theorem)及洛尔定理(Rolle's Theorem),