axiomatization
英[ˌæksɪˌɒmətaɪˈzeɪʃ(ə)n]
美['æksi,ɔmətai'zeiʃən, -ti'z-]
双语例句
- 1. Axiomatization of economic theory has many obvious advantage.
- 经济理论的公理化有很多明显的优越性。
youdao
- 2. Therefore no formal system is a true axiomatization of full number theory.
- 因此，没有正式的系统是一个真正的公理化充分一些理论。
youdao
- 3. These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
- 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
youdao
- 4. Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
- 依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
youdao
- 5. Based on the axiomatization definitions of subsethood measure and similarity measure, similarity measuer induced by subsethood measure is discussed, and some real induced formulas are given.
- 依据包含度和贴近度的公理化定义，讨论了由包含度诱导的贴近度，给出了一些具体的诱导公式。
youdao
百度翻译
有道翻译