axiomatization

axiomatization的基本解释

-

公理化

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

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.

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

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

axiomatization：公理化

由於>非常成 功地建立了几何学的公理系统,它不仅成为西方以后二千多年的几何学教科书,而且更成为其他学科公理化( Axiomatization)的楷模.