说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> n-初等等价
1)  n-elementary equivalent
n-初等等价
2)  α,β,n-extension
α,β,n-初等等价
3)  elementary equivalence
初等等价
1.
The procedure is optimal under elementary equivalence.
运用EhrenfeuchtGames理论给出原子布尔代数理论的一个判定过程及其复杂度,并说明这个过程在初等等价意义下是最优的。
2.
The following theorems are proved: Rational function field ■(x) and C(x) with conjugate concept are not elementary equivalence.
<正> Jensen在[1]中提出了一个问题:■(x)与C(x)是否初等等价,其中■是全体代数数构成的数域,C是复数域,■(x)与C(x)分别是■与C上的一个变数x的有理函数域。
4)  elementarily equivalent
初等等价[的]
5)  elementary g-m,n matrices
初等g-m,n矩阵
6)  Equivalent First Cost
等价初始费用
1.
This paper first introduces the total owning with the Equivalent First Cost,Then it appraises the concrete method and the computation process of the transformer economic efficiency; Refers to the international related standard,proposes the transformer economic evaluation method,and has produced the computation example.
本文介绍了用等价初始费用(Equivalent First Cost-EFC)的总拥有费用法TOC,评价变压器经济效益的具体方法及计算过程;参照国际有关标准(TOC),提出变压器的经济评价方法,并给出了计算实例。
补充资料:Riemann几何学(初等的)


Riemann几何学(初等的)
Riemann geometry

R~几何学(初等的)〔R~砂翔.州打;入MaHareoMeTp“al,椭圆J’L何学(翻pticg”皿切) 一种非E理出d几何学(non.E娜无山乏n罗〕叱仰),即建立在不同于E侧出d几何学(Eucli山习ng泊me甸)公理要求的公理上的一种几何理论.与Eucljd几何学不同,椭圆几何学具有Euelid几何学中平行公理的两个可能的否定之一:在平面内,通过不在一给定直线上的一点没有与给定直线不相交的直线;Eu面d平行公理的另一个否定命题出现在油6明e砚翔翻几何学(Lo加che诏垃g以〕此甸)中:在平面内,通过不在一给定直线上的一点至少有两条直线与给定直线不相交.从现在起把“线”(五茂)理解为对应于“直线”(s加lght line)的概念. 三维椭圆几何学的公理系统可由E切山d几何学的Hi】吮时公理系统(Hnberts娜temof~此)中的相同概念建立:基本概念是“点”,“线”,“平面”.“线”和“平面”作为点的某些类,并且将“空间”取为“点”、“线”和“平面”全体对象的集合. 公理系统由四组构成二 第I组.关联公理(毯粗叨招of Incidence).这组包含组成Hilbert系统第工组的全体公理,加上一个附加的公理:平面内的任何两条不同直线有一个且只有一个公共点. 第11组.顺序公理(庄幻叩侣of order)或线上的点的位里公理(~邝of position of points ona五ne).这组公理描述“线上两点偶的分离”的概念,由此可以决定线上点的顺序. 11、.给定任意直线上三个不同的点A,B,C,则在此线上存在一个点D,使得偶A,B分离偶C,D(表示为AB+CD).如果 AB十CD,则所有四点A,B,C,D是不同的. 11:、如果AB‘CD,那么BA十CD且CD二AB. n3.给定一条线上四个不同的点A,B,C,D,则总可从中构造两个分离点偶. 且‘.设点A,B,C,D与E在一条线上;如果CD、AB且CE+AB,则偶DE不分离偶AB. fl 5.如果偶CD与CE不分离偶AB,则偶DE也不分离偶AB(见n;). 11‘.如果某一线束的四条不同线与两条不同线分别交于点A,B,C,D与A、,B,,C、,D,,则AB、CD蕴涵A、B,令CID:. 第111组.合同公理(~此of田n邵认m此)(或全等公理).这些公理描述线段、角等的“合同(全等)”关系.一条线段理解为由一条线上不同的点A,B的偶以如下方式所决定的该线中一些点的集合.按照第11组公理,存在线上的一个点偶M,N,使得AB、MN;满足关系AB、MX的点X的集合组成由点A与B决定的线段的内点的类;这记为【ABJ、.[A B]M外部的线上的点组成互补线段(mu-tUally comP」elnenta口se即阴nt)〔AB]、,点A与B称为线段〔ABI、与[AB]、的端点(e们山). 班,.每条线段合

[1] [2] [3] [4] [5]  下一页


说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条