axioms

['æksɪəmz]
  • axioms
  • n.

    公理( axiom的名词复数 );自明之理;原理;格言;

纠错 数据更新时间:2025-01-01 01:28:09
1、

The axioms adopted by Euelid mere supposed to be self-evident truths.

欧几里德用的公理都应看作是不证自明的真理.

词典精选例句

2、

The basic principles include 2 axioms and 3 derivation principles.

基本原理包括:2个公理和3个派生原理:环境依赖性、术和设备依赖性、确定性和风险.

互联网摘选

3、

Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc.

进一步的, 我们可以定义包含交换律 、 分配律 、 结合律等公理的代数.

互联网摘选

4、

Martin Axioms roles in morden mathematics.

马丁公理在现代数学中的作用.

互联网摘选

5、

Theorems are derived from the axioms.

命题则从规律中推演得来.

互联网摘选

6、

Context: The Greeks based the study of geometry on definitions and axioms.

上下文: 希腊人把几何研究的最基本出发点放在定义和公理上.

互联网摘选

7、

I know a lot of logarithms and axioms, but not the language of love.

我知道很多的对数和公理, 而不是爱的语言.

互联网摘选

8、

Through discussing the separation axiom of topological space, we can get the relation-chain of separation axioms.

通过对拓扑空间上分离公理之间的讨论得出公理关系链,主要给出了各分离公理不能包含的例子.

互联网摘选

9、

The simplest of the substitute axioms was suggested by him in 1969.

最简单的代替公理是在1969年由他提出的.

词典精选例句

10、

My aunt is full of copy-book axioms.

我的姑妈张口就是字贴上的格言.

词典精选例句

11、

Two groups of axioms in the natural axiom system of probability theory are set up.

建立《概率论自然公理系统》中的第组和第组公理.

互联网摘选

12、

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到.

词典精选例句

13、

These axioms form the basis for term rewriting systems we for mining workflows.

这些公理构成了我们用以挖掘工作流的术语重写系统的基础.

互联网摘选

14、

Finally, the common logic coverage criteria are assessed against the axioms system.

最后通过这组公理系统来评估现有的逻辑覆盖测试准则.

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • surface[ˈsɜːfɪs] n.表面,表层;台面,操作台;外表;v.浮出水面;公开;露面;
  • dance with me 与我共舞(电视连续剧名);
  • their[ðeə(r)] det.他们的;她们的;它们的;(在提及性别不详的人时,用以代替his或her);
  • metal[ˈmetl] n.金属;金属元素;成色;金色;vt.以金属覆盖;
  • plus[plʌs] prep.加;外加;conj. 而且;
  • motherhood[ˈmʌðəhʊd] n.母亲身份;母性;母亲们(总称);
  • ww abbr.warehouse warrant 栈单;white water 白水;werkwoord (Dutch=verb) (丹麦语)动词;water white 透明的;
  • cup[kʌp] n.杯子;一杯(的量);(胸罩的)罩杯;优胜杯;vt.使(手)窝成杯状;使(双手)成圆状托起;为…拔火罐;
  • NTFS abbr.新技术档案系统(微软公司)(New Technology File System);新型战术预报系统(New Tactical Forecast System);NT File System;Windows NT以上版本支持的一种文件系统;
  • I will beat you 我会打败你的
  • airplane[ˈeəpleɪn] n.<美>飞机;
  • cherry[ˈtʃeri] n.樱桃;樱桃树;樱桃色;处女膜;adj.樱桃色的;鲜红色的;

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈