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

  • 其他单词翻译

    英文单词 中文含义
    Ichyostega

    网络解释

    伊吉斯特加

    Icke

    [人名] [英格兰人姓氏] 伊克 Hick的变体

    网络解释

    伊克

    Ickes

    伊克斯(姓氏)

    网络解释

    伊克斯

    Idah

    [地名] [尼日利亚] 伊达

    网络解释

    伊达; 譅; 刺绣

    Icking

    [地名] [德国] 伊京

    网络解释

    深圳市庆通科技有限公司; 伊京

    Idaho

    n. 爱达荷州(美国州名)

    网络解释

    国际不再恐同日; 爱德荷州; 爱达华州

    Idlib

    [地名] [叙利亚] 伊德利卜

    网络解释

    伊德利卜; 伊德利卜省; 伊德利布省

    Ico

    n. 图标

    网络解释

    图标; 图标文件; 图示

    Idden

    [人名] 艾登

    网络解释

    隐藏

    Idolino

    艾多莲娜

    Icosteidae

    n.[鱼]弱骨鱼科

    网络解释

    褴鱼科; 贫骨鱼科; 弱骨鱼科

    Iddles

    [人名] 伊德尔斯

    Idomeneus

    n.伊多梅纽斯(在特洛伊战争中的希腊领袖)

    网络解释

    伊多墨纽斯; 忒忒斯

    Icps

    abbr.国际心脏整律学会(internationalcardiacpacingsociety)

    网络解释

    耦合等离子体源(inductively coupled plasma source); 我能解决问题(I Can Problem Solve); 杀虫晶体蛋白

    Ideas

    总念

    网络解释

    点子; 观念; 理念

    Ictidosauria

    n.[古生]鼬龙目

    网络解释

    鼬龙类; 鼬龙目; 鼬龙亚目

    Idris

    [人名] 伊德里斯;[地名] [利比亚] 伊德里斯(因提萨尔的旧称)

    网络解释

    伊德里斯; 依德里斯; 易德立斯

    Idel

    n IDEL公司

    网络解释

    空闲; 瞬时钻井评价测井; 空闲状态

    Ictinus

    n.伊克蒂诺(古希腊雅典著名建筑师)

    Idriss

    [人名] 伊德里斯

    网络解释

    伊德里斯; 伊德瑞斯