axiomatic英文

试着翻译出来 供你参考:(1)Logic Axiom(2)parenchyma Axiom(3)negation(4)sealed-in(5)Semandics Completeness Theorem (6)strong Semantics Completeness Theorem(7)holomorphis function(8)count enable(9)category(10)Arithmetic forms system(11)passble expression(12)passble depend(13)limitied expend(14)Church Theorem(15)recursive functions group(16)original function(17)recombination(18)strong expression(19)nondecision

债券及进一步Readings.The基本身份在引理（4.3.1），似乎第一次出现在WERoth，论直接产品矩阵，Bull.Amer.Math.Soc.40（1934）,461 - 468，它已被重新发现多次since.The表征线性推导作为一个固定的矩阵定理给出（4.3.4）已对无限维情况的延伸;见J. Dixmeier换向器，莱斯Algebres德Operateurs丹斯和空间Hilbertien，第二版。，高塞尔-维拉尔，巴黎，1969年，第- 310 - 312.The约旦的克罗内克产品（4.3.17）有一个有趣的历史可以追溯到它的典型形式发现并首次尝试在由Aitken和罗斯in1934证明，见R.布鲁阿尔迪，组合的张量积，线性代数Appl.71（1初级因数分解核查985）,31 - 47，一个现代化的证明，历史的讨论，references.One发现在为置换与定理所描述的基本属性（4.3.8）和基质文学许多不同的名字推论（4.3.10）例如，血管内皮细胞，置换矩阵，初等算子，置换矩阵，随机矩阵，置换矩阵，unibersal翻转矩阵，和减刑垫rix.For了这个矩阵，众多的身份历史的讨论，63提到的文学，见HVHenderson和SRSearle，在血管内皮细胞，置换矩阵，血管内皮操作和克罗内克产品：检讨，多线性代数线性9（1981） ,271 - 288。

abscissa 横坐标absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) （概率）加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式；代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle （交）错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高；高度；顶垂线；高线ambiguous case 两义情况；二义情况amount 本利和；总数analysis 分析；解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直�与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线�；分角线�angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角；交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年（年利率X%）anti-clockwise direction 逆时针方向；返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数；反对数anti-symmetric 反对称apex 顶点approach 接近；趋近approximate value 近似值approximation 近似；略计；逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均；等差中顶；算术中顶arithmetic progression 算术级数；等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定；假设asymmetrical 非对称asymptote 渐近�asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均；平均数；平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 抛物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴back substitution 回代bar chart 棒形图；条线图；条形图；线条图base （1）底；（2）基；基数base angle 底角base area 底面base line 底线�base number 底数；基数base of logarithm 对数的底basis 基Bayes\' theorem 贝叶斯定理bearing 方位（角）；角方向（角）bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差；偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分；等分bisection method 分半法；分半方法bisector 等分线�；平分线�Boolean algebra 布尔代数boundary condition 边界条件boundary line 界（线）；边界bounded 有界的bounded above 有上界的；上有界的bounded below 有下界的；下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号breadth 阔度broken line graph 折线图calculation 计算calculator 计算器；计算器calculus (1) 微积分学; (2) 演算cancel 消法；相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏�Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型；范畴catenary 悬链�Cauchy sequence 柯西序列Cauchy\'s principal value 柯西主值Cauchy-Schwarz inequality 柯西 - 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线�central tendency 集中趋centre 中心；心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心；距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元；变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图；图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形；圆的circular function 圆函数；三角函数circular measure 弧度法circular motion 圆周运动

math,English,music,Chinese,P.E.,art,geography,history

formshapelayoutmodalityformatform免费专业英语词汇下载 ... 预报函数 forecasting function (形)式；型 form 曲率的形式 form for curvature ...基于271个网页 - 搜索相关网页 shape鞋业英语大全（一）（二） ... shank too loose铁芯太松 shape形式;模型 shape distortion变形 ...基于262个网页 - 搜索相关网页 style<4D6963726F736F667420576F... ...structure 结构 style 形式 supplement 补充 ...基于155个网页 - 搜索相关网页 modality政制及选举事务用词 4 ...mock election 仿真选举modality 形式；模式；方式modality for co-operation 合作模式；合作方式 ...基于45个网页 - 搜索相关网页 -其他形式： Other；Other types) Othermaya菜单中英对照 ...Flat平坦式 Other其他形式 Set Driven Key设置驱动关键帧 ...基于566个网页 - 搜索相关网页 Other types)功能试验的英文医药专业词条翻译 ...pancreatic function test 释义：胰腺功能试验 otolith function test 释义：位觉砂功能试验,耳石功能试验 pulmonary function test(PFT) 释义：肺功能试验 ...基于1个网页 - 搜索相关网页 -形式逻辑： Formal Logics；formal logic；Formal Logic Formal Logics学科术语M ...信息系统设计与分析 Analysis of Information System &Designing 形式逻辑 Formal Logics 形势与教育 Situation &Education ...基于257个网页 - 搜索相关网页 formal logic免费专业英语词汇下载 ...形式文法 formal grammar 形式语言 formal language 形式逻辑 formal logic ...基于89个网页 - 搜索相关网页 Formal Logic形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推...基于51个网页 - 搜索相关网页 -形式审查： formal examination；Formality Examination；normal examination；the formal examination formal examination专利词汇 ... foreign patent application 外国专利申请 formal examination 形式审查 gazette 公报 ...基于184个网页 - 搜索相关网页 Formality Examination级别: 西域知府 ...形式审查（Formality Examination） 实质审查（Substantial Examination） 初步审定公告（Preliminary Approval Advertisement） ...基于2个网页 - 搜索相关网页 normal examination（转）有助于阅读英文专利文献的核心词汇（部分） ...substantive examination 实质性审查normal examination 形式审查industrial applicability 工业实用性 ...基于2个网页 - 搜索相关网页 the formal examination《轻轻松松学英语--掌握英语的基本配料》『推荐』 ...拼写公式(The Spelling Formula)公式与硬辅音(The Formula and Hard Consonants)词形转化(Shape.Shifters) ...基于1个网页 - 搜索相关网页 -建筑形式： built form；building types；Architectural Form built form工程英语词汇(B)-英语翻译 ...build-operate-transfer 建造、营运及移交 built form 建筑形式 built-back accommodation 重建单位 ...基于97个网页 - 搜索相关网页 building types翻译服务 ...building trade 建筑业building types 建筑形式building unit 建筑构件 ...基于34个网页 - 搜索相关网页 Architectural Form免费专业英语词汇下载 ...建筑环境 architectural environment 建筑形式 architectural form 建筑几何学 architectural geometry ...基于3个网页 - 搜索相关网页 -公园形式： park styles park styles中国景观论坛 - Powered by Discu... ...公园间距 distance between parks公园形式 park styles游览区 excursion area, open-to-public area ...基于118个网页 - 搜索相关网页 -形式语言： formal language；formalized language；FORMAL LANGUAGES；formale Sprache formal language formal language石油词汇接龙 ...formal address 形式地址formal language 形式语言formal law 成文法 ...基于89个网页 - 搜索相关网页 formalized languageEnglish/Chinese Linguisti... ... formal language 形式语言 formalized language 形式语言 formal grammar 形式语法 ...基于13个网页 - 搜索相关网页 FORMAL LANGUAGES英汉常用术语 ...FOPC 一阶谓词演算 FIREST - ORDER PREDICATE CALCULUS FORMAL LANGUAGES 形式语言 FORMAL SEMANTICS 形式语义学 ...基于4个网页 - 搜索相关网页 formale Sprache formal language德英汉数学词典—生命经纬 ...formale Potenzreihe formal power series 形式幂级数formale Sprache formal language 形式语言Formel formula 公式 ...基于3个网页 - 搜索相关网页 -形式的： formal；modal；PROFORMA ADJ；formal adj. formal数学专业英语词汇(F) ...form 形式formal 形式的formal derivative 形式导数 ...基于60个网页 - 搜索相关网页 modal英语新词汇与常用词汇的翻译(89) ... modal auxiliary verb 表动词语态的助动词 modal 形式的 modality 形式 ...基于23个网页 - 搜索相关网页 PROFORMA ADJ留言内容 ...ENAMELWARE N 搪瓷器皿PROFORMA ADJ 形式的INVOICE N 发票 ...基于12个网页 - 搜索相关网页 formal adj.主题：研究生考试大纲中容易混淆的词汇大总结 ...foreword n. 前言formal adj. 形式的；正式的former 早先的；前的 ...基于8个网页 - 搜索相关网页 -形式神经元： formal neuron formal neuron自动化行业专业英语词汇总结 ...formal language theory 形式语言理论formal neuron 形式神经元forward path 正向通路 ...基于90个网页 - 搜索相关网页 -形式化： formalization；Formalisierung；formalize；formaliseformalizationformalize formalizationEnglish/Chinese Linguisti... ... formalist 形式主义者 formalization 形式化 formalized language 形式语言 ...基于53个网页 - 搜索相关网页 Formalisierung更具体地讲，海德格尔利用了胡塞尔对于普遍化（Generalisierung）与形式化（Formalisierung）的区别，然后更进一步，去除了形式化中还存留的对象化因素，从而达到了形式显示这样一个极具独创性的现象学-诠释学的方法或道路（...基于15个网页 - 搜索相关网页 formalize英语新词汇与常用词汇的翻译(F3) ...formalization 形式化formalize 使正式formally 正式地 ...基于14个网页 - 搜索相关网页 formaliseformalizationformalize汉英词汇237 ...形式的latitudinarian形式化formaliseformalizationformalize形式主义Pharisaismexternalismformalismformulismofficialism ...基于3个网页 - 搜索相关网页 形式 [xíng shì] 1. （事物的形状、结构等） form; shape; layout; modality:例句: become a mere formality;流于形式be various in forms;形式多样2. {自} （数据安排） format; {数} quantic; shape短语1. 形式逼近 formal approximation;2. 形式变换 formal transformation;3. 形式变量 formal variable;4. 形式变元 formal argument;5. 形式表示语义（学） formal denotational semantics;6. 形式参数 formal parameter;7. 形式参数表 formal parameter list;8. 形式参数部分 formal parameter part;9. 形式操作 formal operations;10. 形式次数 formal degree;11. 形式代数 formal algebra;12. 形式地址 formal address;13. 形式电荷 formal charge;14. 形式发票 pro forma invoice; formal invoice;15. 形式方法 formal approach; formal method;16. 形式分析 form analysis;17. 形式分析算法 formal parsing algorithm;18. 形式格式 formal mode;19. 形式公理学 formal axiomatics;20. 形式行 formal row;21. 形式架 formal scheme;22. 形式阶段教学 formal steps of instruction;23. 形式近似 formal approximation;24. 形式句法 formal syntax;25. 形式科学 formal science;26. 形式控制 formal control;27. 形式类 form class;28. 形式离散误差 formal discretization error;29. 形式幂级数环 formal power series ring;30. 形式模型 formal model;31. 形式人口学 formal demography;32. 形式社会学 formal sociology;33. 形式实域 formally real field;34. 形式推导 formal deduction;35. 形式微程序 formal microprogram;36. 形式文法 formal grammar;37. 形式系统 formal system;38. 形式向量 type vector;39. 形式性 formality;40. 形式学派 formal school;41. 形式训练 formal discipline;42. 形式要求 （法律行为的） substantive requirements of form;43. 形式遗传学 formal genetics;44. 形式语法 formal grammar;45. 形式语言 formal language;46. 形式语言文法 formal language grammar;47. 形式语言学 semiotics;48. 形式语义 {计} formal semantics;49. 形式运算 {心理} formal operation;50. 形式蕴涵 formal implication; implication in formal meaning;51. 形式证法 formal proof;52. 形式证明 formal proof; formal verification;53. 形式知觉测验 form perception test例句与用法他已经肯定获得那份工作了， 口头审查仅是形式而已。He is already assured of the job and his interview is a mere formality.《新汉英大辞典》品牌形象对于消费者是直接的说服形式。Brand image for consumers to convince the form of direct.www.uhhooh.com最后：填写调查的数据无论是在形式中东。At last: Fill the data investigating whether in form middle.www.zw361.com