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.依据包含度和贴近度的公理化定义,讨论了由包含度诱导的贴近度,给出了一些具体的诱导公式。

  • 其他单词翻译

    英文单词 中文含义
    Alling

    [人名] 阿林;[地名] [丹麦、德国] 阿灵

    网络解释

    阿林格; 明明; 民族特色的哈林舞曲

    Allomyces

    n.异水霉属

    网络解释

    异水霉属; 异丝壶菌; 壶菌异水霉

    Alliaceae

    葱科

    网络解释

    葱科; 独立成葱科; 百合科

    Allinson

    n.(Allinson)人名;(英)阿林森

    网络解释

    莲心; 阿林森; 林逊

    Allon

    [人名] 阿隆

    网络解释

    亚龙; 橡树; 阿龙

    Allianz

    安联公司总部所在地:德国主要业务:保险

    网络解释

    安联; 安联集团; 安联保险集团

    Allionia

    网络解释

    阿利奥尼亚(Allionia)

    Allston

    奥尔斯顿;华盛顿((1779-1843) 美国画家;常描绘宗教题材的作品采用浪漫风格;如〈沙漠中的以利亚〉 经常描绘宗教主题 )

    网络解释

    斯顿; 奥尔斯顿; 奥斯顿

    Alliaria

    n.葱芥属

    网络解释

    葱芥属

    Allioniaceae

    n.紫茉莉科

    网络解释

    葱科

    Allt

    [人名] 奥尔特

    网络解释

    全部; 挚爱; 无可辩驳

    Allibanis

    阿拉巴蒂斯布

    网络解释

    阿拉巴蒂斯布

    Allison

    [人名] [苏格兰人姓氏] 阿利森 Alison的变体;[人名] [英格兰人姓氏] 阿利森取自父名,来源于Allen,含义是“艾伦之子”(son of Allen);[地名] [美国] 阿利森

    网络解释

    艾里逊; 艾莉森; 艾立逊

    Allylveratrole

    n.诱虫醚

    网络解释

    烯丙基藜芦醚

    Allibat

    阿拉巴蒂斯布

    网络解释

    阿拉巴蒂斯布

    Allium

    n.[植]葱属植物

    网络解释

    百合科葱属; 蒜属; 绣球葱

    Alma-Ata

    n.阿拉木图(哈萨克斯坦共和国城市)

    网络解释

    阿玛阿塔宣言; 据阿拉木图; 阿拉木图市

    Allie

    [女子名] 阿莉 Alice,Alicia等的昵称

    网络解释

    艾莉; 艾丽; 阿莉

    Alliums

    葱蒜类植物

    网络解释

    葱花; 大葱花; 大美人

    Alma-Tadema

    n.阿尔玛塔德马