查询词典 axiomatization

When we teaches the Theory of Probability and Statistics, we must pay attention to the teaching of typical mathematical thinking, such as axiomatization thinking, matrix thinking, convergence according to probability, statistical deduction and so on.

在讲授《概率统计》时，要注重公理化思想、模型思想、依概率收敛、统计推断等典型思想方法的教学。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The economics methodology has formed a whole battery of analytical framework and tool under the influence of scientific philosophy, which is characterized by logic positivism, negativism and historical materialism. The fundamental characteristics of the economics methodology are based on the axiomatization positive logic deductive method, which assumes the rational human being as its hypothetic premise. The most remarkable characteristic of the economics methodology is the general application of mathematics in economics and it is developing forward to the more accurate and magnificent system.

特别是在以逻辑实证主义、证伪主义和历史主义为代表的科学哲学的影响下，经济学的方法论已经发展出一整套的分析框架与工具，基本特征是建立在"理性人"假设基础上的公理化的实证的逻辑演绎方法，最突出的表现是数学在经济学中的广泛应用，并正在向着更为精密与恢弘的体系演进。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

Early in the 1950s, in algebraic topology, the concept of graded Hopf algebras was derived from an axiomatization of the works of H. Hopf relating to topological properties of Lie groups. Hence the name,'Hopf algebra'.

50年代初，H.Hopf在研究李群的拓扑性质这一代数拓扑领域的理论工作中引入了分次Hopf代数的概念，"Hopf代数"由此而得名。

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

Compare with the axiomatization of

比较于

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.

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