请输入您要查询的英文单词:

 

单词 axiomatization
释义
axiomatization
/ ??ks???m?ta??ze??(?)n /
  • 简明释义
  • n.公理化(用公理方法研究数学以及其他学科)
  • 网络释义
  • 1

    [数]?公理化

    ... 公理的 axiomatical 公理化 axiomatization; axiomatize 公理会 (基督教新教主要派别之一) congregational church ...

短语
  • 双语例句
  • 1
    Axiomatization of economic theory has many obvious advantage.
    经济理论的公理化有很多明显的优越性。
  • 2
    Therefore no formal system is a true axiomatization of full number theory.
    因此,没有正式的系统是一个真正的公理化充分一些理论。
  • 3
    These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
    这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/14 3:03:03