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

  • 其他单词翻译

    英文单词 中文含义
    Lakatos

    拉卡托斯

    n.(Lakatos)人名;(瑞典、英)拉卡托斯;(罗、匈)拉卡托什

    网络解释

    拉卡托斯; 拉卡托许; 拉卡多斯

    Lallan

    n.苏格兰低地;苏格兰低地方言

    adj.苏格兰低地的

    网络解释

    苏格兰低地的; 琅琅

    Lakehurst

    [地名] [美国] 莱克赫斯特

    网络解释

    新泽西州莱克赫斯特; 新泽西州雷克霍斯特; 新泽西州赫斯特湖

    Lallans

    n.苏格兰低地方言

    adj.苏格兰低地方言的

    网络解释

    苏格兰语; 一种被称为拉兰斯语

    Lakeland

    n.多湖泊地区

    网络解释

    雷克兰; 莱克兰; 克兰市

    Lally

    n.[建]拉莱柱(中间浇注混凝土的钢圆柱)

    网络解释

    拉里; 拉莱柱; 视得乐

    Lamar

    拉马尔(姓氏,男子名)

    网络解释

    拉玛尔; 大海的; 拉马尔县

    Lamellariacea

    片螺族

    Lamarckian

    adj.拉马克的;拉马克学说的

    n.拉马克主义者

    网络解释

    拉马克的; 拉马克式的; 学拉马克

    Lamellariidae

    n.板螺科

    网络解释

    片螺科; 板螺科; 是什么意思

    Lammastide

    n.收获节节期

    网络解释

    八月七日

    Lamartine

    拉马丁

    n.(Lamartine)人名;(法)拉马丁;(葡)拉马丁内

    Lamellisabellidae

    n.[无脊椎]瓣形缨腕虫科

    网络解释

    瓣形缨腕虫科

    Lamme

    [人名] 拉米

    网络解释

    莱姆; 种鸽莱姆

    Lamaze

    adj. 心理助产法的

    网络解释

    拉梅兹; 拉梅兹婴幼儿玩具; 拉梅兹减痛法

    Lamiaceae

    n.唇形科

    网络解释

    唇形科; 唇形花科; 薄荷目

    Lamna

    n.鼠鲨属

    网络解释

    鲛鼠目; 太平洋鼠鲨

    Lambertia

    网络解释

    兰伯特(Lambertia)

    Lamicoid

    带云母填充料的一种酚基塑料

    Lamnidae

    n.鼠鲨科

    网络解释

    鼠鲨科; 鲭鲛科; 二名法