axiomatization

美:[æksiəmətaɪ´zeɪʃn]   英:[æksiəmətaɪ´zeɪʃn]

中文翻译

n. 公理化

网络解释

公理原则

英文短语

  • 1.axiomatization thought 公理化思想
  • 2.economic axiomatization 经济学公理化
  • 3.axiomatization evolution 公理化演进
  • 4.method of axiomatization 公理化方法
  • 5.axiomatization of rough sets 粗糙集的公理化
  • 6.axiomatization and formalization 公理化和形式化
  • 7.axiomatization thinking matrix thinking 公理化思想
  • 英文例句

  • 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.这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
  • 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.依据包含度和贴近度的公理化定义,讨论了由包含度诱导的贴近度,给出了一些具体的诱导公式。

  • 其他单词翻译

    英文单词 中文含义
    bunching

    n. 聚束;成组;群聚

    网络解释

    聚束; 成群; 群聚

    bunch

    n. 束,串,捆;一串,一群;一帮,一伙;[非正式用语]大量

    vt. 聚成一串,形成一串;聚成一组;使起褶:使(织物)起褶

    vi. 形成一串,形成一组;打褶;膨胀,凸出

    bundling

    n. 打小包,集束,成束

    网络解释

    捆绑销售; 捆扎; 搭售

    bundesrat

    n.联邦参议院

    网络解释

    联邦参议院; 上议院; 德国联邦参议院

    bunchberry

    n. 御膳橘

    网络解释

    御膳橘; 草茱萸; 御膳桔

    bunchy

    adj. 成串的,束状的

    网络解释

    束状的

    bungaloid

    adj. 平房式的,到处是平房的

    bundobust

    n. 〈印英〉安排,组织,细节的落实

    bundick

    n.(Bundick)人名;(英)邦迪克

    bunco

    n.& vt. 欺诈,行骗

    bunched

    [医]聚束的

    网络解释

    成一团; 成束的; 梱徧

    bungalow

    n. 〈英>平房;<美〉单层小屋,多于一层的小屋

    网络解释

    小屋; 别墅; 小平房

    bundook

    步枪,来复枪

    bunding

    岸堤;堤岸

    网络解释

    堤岸; 实习

    buncoed

    v. 欺诈,行骗( bunco的过去式和过去分词 )

    buncher

    n. (速调管的)调制腔;群聚腔;(电子)聚束器;聚束栅

    网络解释

    聚束栅; 调制腔; 集束器

    bundu

    n. 〈南非〉未开化的乡区,未开发的地方,荒野

    bungalows

    n. 〈英>平房( bungalow的名词复数 );<美〉单层小屋,多于一层的小屋

    网络解释

    小屋; 平房别墅; 平房组成

    bundist

    亲纳粹派

    buncoing

    v. 欺诈,行骗( bunco的现在分词 )