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

  • 其他单词翻译

    英文单词 中文含义
    unaddicted

    adj.未成瘾的

    网络解释

    未预测的

    unaccounted

    adj. 未说明的,未解释的

    网络解释

    未说明的; 未解释的; 不明下落

    unaggressive

    不具攻击性的

    网络解释

    不惧侵略性

    unadvised

    adj. 〈正〉不审慎的;轻率的;未曾受到劝告的;未经商量的

    网络解释

    轻率的; 鲁莽的; 草率的

    unacquaintance

    n.不相识;不熟悉;无知

    网络解释

    不知晓; 不懂情理; 不认识

    unaddressable

    不可寻址的

    unaccounted-for

    adj.未予说明的;未加解释的

    网络解释

    未加解释的

    unaging

    adj.不老的

    永恒的

    网络解释

    永恒的

    unadvisedly

    adv. 鲁莽地,欠思虑的

    网络解释

    鲁莽地; 不可随意

    unacquainted

    adj.不认识的;不熟悉的;不知道的

    网络解释

    不熟悉的; 陌生的; 完全不了解

    unaddressed

    adj.无姓名地址的

    unaided

    adj. 无外援的,独立的

    网络解释

    未受帮助的; 独立的; 无助的

    unaffected

    adj. 不受影响的;不装扮的,无装饰的;自然的;不矫揉造作的

    网络解释

    不矫揉造作的; 不受影响的; 不做作的

    unadjusted

    未调节的

    网络解释

    未经调整的; 非调整的; 无调节的

    unaids

    abbr.联合国艾滋病规划署(TheJointUnitedNationsProgrammeonHIVandAIDS)

    网络解释

    联合国艾滋病规划署; 联合国爱滋病规划署; 联合国爱滋防治计画

    unaffectedly

    adv. 自然地,真挚地

    网络解释

    自然地; 衷心地; 真挚地

    unairworthy

    adj.不准备飞的,不适合飞的

    网络解释

    不适合航空的; 不适航

    unaka

    n.残丘块

    网络解释

    残丘; 残丘群

    unaker

    [美洲印第安语]通过淘洗除去砂及云母的粘土

    unalike

    adj. 不相似的,不一样的