离散数学双语专业词汇表
离散数学英文DMA_4.1-6
More Detailed Version of Proof
• Show a,b,c Z: (a|b a|c) a | (b + c). • Let a, b, c be any integers such that a|b and a|c, and show that a | (b + c). • By defn. of |, we know s: b=as, and t: c=at. Let s, t, be such integers. • Then b+c = as + at = a(s+t), so u: b+c=au, namely u=s+t. Thus a|(b+c).
§4.1: Divisibility and Modular Arithmetic
• Of course, you already know what the integers are, and what division is… • But: There are some specific notations, terminology, and theorems associated with these concepts which you may not know. • These form the basics of number theory.
Basic Number Theory
Rosen 7th ed., §§4.1-4.6
概率论与数理统计》基本名词中英文对照表（Word）
概率论与数理统计》基本名词中英文对照表（Word）《概率论与数理统计》基本名词中英文对照表英文中文Probability theory 概率论mathematical statistics 数理统计deterministic phenomenon 确定性现象random phenomenon 随机现象sample space 样本空间random occurrence 随机事件fundamental event 基本事件certain event 必然事件impossible event 不可能事件random test 随机试验incompatible events 互不相容事件frequency 频率classical probabilistic model 古典概型geometric probability 几何概率conditional probability 条件概率multiplication theorem 乘法定理Bayes's formula 贝叶斯公式Prior probability 先验概率Posterior probability 后验概率Independent events 相互独立事件Bernoulli trials 贝努利试验random variable 随机变量probability distribution 概率分布distribution function 分布函数discrete random variable 离散随机变量distribution law 分布律hypergeometric distribution 超几何分布random sampling model 随机抽样模型binomial distribution 二项分布Poisson distribution 泊松分布geometric distribution 几何分布probability density 概率密度continuous random variable 连续随机变量uniformly distribution 均匀分布exponential distribution 指数分布numerical character 数字特征mathematical expectation 数学期望variance 方差moment 矩central moment 中心矩n-dimensional random variable n-维随机变量two-dimensional random variable 二维离散随机变量joint probability distribution 联合概率分布joint distribution law 联合分布律joint distribution function 联合分布函数boundary distribution law 边缘分布律boundary distribution function 边缘分布函数exponential distribution 二维指数分布continuous random variable 二维连续随机变量joint probability density 联合概率密度boundary probability density 边缘概率密度conditional distribution 条件分布conditional distribution law 条件分布律conditional probability density 条件概率密度covariance 协方差dependency coefficient 相关系数normal distribution 正态分布limit theorem 极限定理standard normal distribution 标准正态分布logarithmic normal distribution 对数正态分布covariance matrix 协方差矩阵central limit theorem 中心极限定理Chebyshev's inequality 切比雪夫不等式Bernoulli's law oflarge numbers 贝努利大数定律statistics 统计量simple random sample 简单随机样本sample distribution function 样本分布函数sample mean 样本均值sample variance 样本方差sample standard deviation 样本标准差sample covariance 样本协方差sample correlation coefficient 样本相关系数order statistics 顺序统计量sample median 样本中位数sample fractiles 样本极差sampling distribution 抽样分布parameter estimation 参数估计estimator 估计量estimate value 估计值unbiased estimator 无偏估计unbiassedness 无偏性biased error 偏差mean square error 均方误差relative efficient 相对有效性minimum variance 最小方差asymptotic unbiased estimator 渐近无偏估计量uniformly estimator 一致性估计量moment method of estimation 矩法估计maximum likelihood method of estimation 极大似然估计法likelihood function 似然函数maximum likelihood estimator 极大似然估计值interval estimation 区间估计hypothesis testing 假设检验statistical hypothesis 统计假设simple hypothesis 简单假设composite hypothesis 复合假设rejection region 拒绝域acceptance domain 接受域test statistics 检验统计量linear regression analysis 线性回归分析（注：文件素材和资料部分来自网络，供参考。
《离散数学》双语教学 第一章 真值表,逻辑和证明
《离散数学》双语教学第一章真值表，逻辑和证明《离散数学》双语教学第一章真值表，逻辑和证明CHAPTER 1TRUTH TABLES, LOGIC, AND PROOFSGlossarystatement, proposition:命题 logical connective:命题联结词compound statement:复合命题 propositional variable:命题变元negation:否定(式)truth table:真值表conjunction:合取 disjunction:析取 propositional function:命题公式fallacy: 谬误syllogism:三段论universal quantification:全称量词化 existential quantification:存在量词化 hypothesis(premise): 假设～前提～前件 conditional statement, implication:条件式～蕴涵式 consequent, conclusion:结论～后件 converse:逆命题contrapositive:逆否命题biconditional, equivalence:双条件式～等价(逻辑)等价的 logically equivalent:contingency:可满足式tautology:永真式(重言式)contradiction, absurdity:永假(矛盾)式 logically follow:是…的逻辑结论 argument:论证axioms:公理第 1 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明 postulate:公设rules of reference:推理规则modus ponens:肯定律 modus tollens:否定律reductio ad absurdum:归谬律proof by contradiction:反证法counterexample:反例 minterm:极小项disjunctive normal form:主析取范式maxterm:极大项conjunctive normal form:主合取范式第 2 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明本章内容及教学要点:1.1 Statements and Connectives教学内容:statements(propositions)～compound statement～connectives:negation～conjunction～disjunction～truth tables 1.2 Conditional Statements教学内容:implications(conditional statements)～biconditional～equivalent～and quantifications1.3 Equivalent Statements教学内容:logical equivalence～converse～inverse～contrapositive～tautology～contradiction(absurdity)～contingency～properties of logical connectives1.4 Axiomatic Systems: Arguments and Proofs教学内容:rules of reference～augument～valid argument～hypotheses～premises～law of detachment(modus ponens)～syllogism～modus tollens～addition～proof by contradiction 1.5 Normal Forms教学内容:minterm～disjunctive normal form～maxterm～conjunctive normal form定理证明及例题解答第 3 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明Logic, developed by Aristotle, has been used through the centuries in the development of many areas of learning including theology, philosophy, and mathematics. It is the foundation on which the whole structure of mathematics is built. Basically it is the science of reasoning, which may allow us to determine statements about mathematics whether are true or false based on a set of basic assumptions called axioms. Logic is also used in computer science to construct computer programs and to show that programs do what they are designed to do.逻辑学是研究人的思维形式的科学. 而数理逻辑是逻辑学的一个重要分支～是用数学形式化的方法研究思维规律的一门学科. 由于它使用了一套符号来简洁地表达出各种推理的逻辑关系～故它又称符号逻辑.数理逻辑用数学方法研究推理、利用符号体系研究推理过程中前提和结论之间的关系. 数理逻辑的主要内容:逻辑演算(L和L)、公理化集合论、模型论、S p构造主义与证明论. 数理逻辑在电子线路、机器证明、自动化系统、编译理论、算法设计方法方面有广泛的应用.The rules of logic specify the meaning of mathematicalstatements. Logic is the basis of all mathematical reasoning, and it has practical applications to the design of computing machines, to system specifications, to artificial intelligence(AI), to computer programming, to programming languages, and to other areas of computer science, as well as to many other fields of study.第 4 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明1.1 Statements and Connectivess(命题和联结词)命题逻辑研究的对象是命题及命题之间的逻辑关系.Propositions are the basic building blocks of logic. Many mathematical statements are constructed by combining one or more propositions.定义1.1.1 A proposition is a statement or declarative sentence that is either true or false, but not both,命题是一个非真即假的陈述句,.因此不能判断真假的陈述句、疑问句、祈使句和感叹句都不是命题.,1, The true or false value assigned to a statement is called its truth value; (一个命题的真或假称为命题的真值. 真用T或1表示～假用F或0表示),2, 一个陈述句有真值与是否知道它的真假是两回事.例1.1.1 判断下列语句是不是命题,若是～给出命题的真值: (1) 陕西师大不是一座工厂.(2) 你喜欢唱歌吗,(3) 给我一块钱吧:(4) 我不是陕西师大的学生.(5) 我正在说谎.Logical connectives(命题联结词)数理逻辑的特点是并不关心具体某个命题的真假～而是将逻辑推理变成类似数学演算的形式化过程, 关心的是命题之间的关联性. 因此需要进行命题符号化.命题联结词的作用是为了将简单命题组合成复合命题.We will now introduce the logical connectives that are used to form new propositions from existing propositions. And once truth values have been assigned to simple propositions, we can progress to more complicated compound statements.A statement that contains no connectives is called a simple第 5 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明statement. We will use p,q,r…to represent simple statements(简单命题就是简单陈述句～用字母p,q,r…(或带下标)表示),Sometimes, the letters p,q,r,s,…are used to denote propositional variables that can be replacedby statements(命题变元:可以用命题代替的变元).A statement that contains logical connectives(命题联结词) is called compound statements(复合命题). In general, a compound statement may have many component parts, each of which is itself a statement, represented by some propositional variable. The truth of a compound proposition is determined by the truth or falsity of the component parts.propositional constant(命题常元):T(1)或F(0)～或者表示一个确定的命题,propositional variable(命题变元):可用一个特定的命题取代。
《离散数学》双语教学 第一章 真值表,逻辑和证明
《离散数学》双语教学第一章真值表，逻辑和证明《离散数学》双语教学第一章真值表，逻辑和证明CHAPTER 1TRUTH TABLES, LOGIC, AND PROOFSGlossarystatement, proposition:命题 logical connective:命题联结词compound statement:复合命题 propositional variable:命题变元negation:否定(式)truth table:真值表conjunction:合取 disjunction:析取 propositional function:命题公式fallacy: 谬误syllogism:三段论universal quantification:全称量词化 existential quantification:存在量词化 hypothesis(premise): 假设～前提～前件 conditional statement, implication:条件式～蕴涵式 consequent, conclusion:结论～后件 converse:逆命题contrapositive:逆否命题biconditional, equivalence:双条件式～等价(逻辑)等价的 logically equivalent:contingency:可满足式tautology:永真式(重言式)contradiction, absurdity:永假(矛盾)式 logically follow:是…的逻辑结论 argument:论证axioms:公理第 1 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明 postulate:公设rules of reference:推理规则modus ponens:肯定律 modus tollens:否定律reductio ad absurdum:归谬律proof by contradiction:反证法counterexample:反例 minterm:极小项disjunctive normal form:主析取范式maxterm:极大项conjunctive normal form:主合取范式第 2 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明本章内容及教学要点:1.1 Statements and Connectives教学内容:statements(propositions)～compound statement～connectives:negation～conjunction～disjunction～truth tables 1.2 Conditional Statements教学内容:implications(conditional statements)～biconditional～equivalent～and quantifications1.3 Equivalent Statements教学内容:logical equivalence～converse～inverse～contrapositive～tautology～contradiction(absurdity)～contingency～properties of logical connectives1.4 Axiomatic Systems: Arguments and Proofs教学内容:rules of reference～augument～valid argument～hypotheses～premises～law of detachment(modus ponens)～syllogism～modus tollens～addition～proof by contradiction 1.5 Normal Forms教学内容:minterm～disjunctive normal form～maxterm～conjunctive normal form定理证明及例题解答第 3 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明Logic, developed by Aristotle, has been used through the centuries in the development of many areas of learning including theology, philosophy, and mathematics. It is the foundation on which the whole structure of mathematics is built. Basically it is the science of reasoning, which may allow us to determine statements about mathematics whether are true or false based on a set of basic assumptions called axioms. Logic is also used in computer science to construct computer programs and to show that programs do what they are designed to do.逻辑学是研究人的思维形式的科学. 而数理逻辑是逻辑学的一个重要分支～是用数学形式化的方法研究思维规律的一门学科. 由于它使用了一套符号来简洁地表达出各种推理的逻辑关系～故它又称符号逻辑.数理逻辑用数学方法研究推理、利用符号体系研究推理过程中前提和结论之间的关系. 数理逻辑的主要内容:逻辑演算(L和L)、公理化集合论、模型论、S p构造主义与证明论. 数理逻辑在电子线路、机器证明、自动化系统、编译理论、算法设计方法方面有广泛的应用.The rules of logic specify the meaning of mathematicalstatements. Logic is the basis of all mathematical reasoning, and it has practical applications to the design of computing machines, to system specifications, to artificial intelligence(AI), to computer programming, to programming languages, and to other areas of computer science, as well as to many other fields of study.第 4 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明1.1 Statements and Connectivess(命题和联结词)命题逻辑研究的对象是命题及命题之间的逻辑关系.Propositions are the basic building blocks of logic. Many mathematical statements are constructed by combining one or more propositions.定义1.1.1 A proposition is a statement or declarative sentence that is either true or false, but not both,命题是一个非真即假的陈述句,.因此不能判断真假的陈述句、疑问句、祈使句和感叹句都不是命题.,1, The true or false value assigned to a statement is called its truth value; (一个命题的真或假称为命题的真值. 真用T或1表示～假用F或0表示),2, 一个陈述句有真值与是否知道它的真假是两回事.例1.1.1 判断下列语句是不是命题,若是～给出命题的真值: (1) 陕西师大不是一座工厂.(2) 你喜欢唱歌吗,(3) 给我一块钱吧:(4) 我不是陕西师大的学生.(5) 我正在说谎.Logical connectives(命题联结词)数理逻辑的特点是并不关心具体某个命题的真假～而是将逻辑推理变成类似数学演算的形式化过程, 关心的是命题之间的关联性. 因此需要进行命题符号化.命题联结词的作用是为了将简单命题组合成复合命题.We will now introduce the logical connectives that are used to form new propositions from existing propositions. And once truth values have been assigned to simple propositions, we can progress to more complicated compound statements.A statement that contains no connectives is called a simple第 5 页共 47 页 2010-12-27《离散数学》双语教学第一章真值表，逻辑和证明statement. We will use p,q,r…to represent simple statements(简单命题就是简单陈述句～用字母p,q,r…(或带下标)表示),Sometimes, the letters p,q,r,s,…are used to denote propositional variables that can be replacedby statements(命题变元:可以用命题代替的变元).A statement that contains logical connectives(命题联结词) is called compound statements(复合命题). In general, a compound statement may have many component parts, each of which is itself a statement, represented by some propositional variable. The truth of a compound proposition is determined by the truth or falsity of the component parts.propositional constant(命题常元):T(1)或F(0)～或者表示一个确定的命题,propositional variable(命题变元):可用一个特定的命题取代。
常用离散数学名词中英文对照
常用离散数学名词中英文对照集合：set元素：element严格定义:well defined成员:member外延原理:principle of extension泛集(全集):universal set空集:empty set(null set)子集:subset文氏图:venn diagram并:union交:intersection相对补集:relative complement绝对补集:absolute complement补集:complement对偶性:duality幂等律:idempotent laws组合律:associative laws交换律:commutative laws分配律:distributive laws同一律:identity laws对合律:involution laws求补律:complement laws对偶原理:principle of duality有限集:finite set计算原理:counting principle类:class幂集:power set子类:subclass子集合:subcollection命题:proposition命题计算:proposition calculus语句:statement复合:compound子语句:substatement合取:conjunction析取:disjuction否定:negation真值表:truth table重言式:tautology矛盾:contradiction逻辑等价:logical equivalence命题代数:algebra of propositions 逻辑蕴涵:logicalimplication关系:relation有序对:ordered pair划分:parti-on偏序:partial order整除性:divisibility常规序:usual order上确界:supremum下确界:infimum上(下)界:upper(lower) bound乘积集:product set笛卡儿积:cartesian product笛卡儿平面:cartesian plane二元关系:binary relation定义域:domain值域:range相等:equality恒等关系:identity relation全关系:universal ralation空关系:empty ralation图解:graph坐标图:coordinate diagram关系矩阵:matrix of the relation 连矢图:arrow diagram有向图:directed graph逆关系:inverse relation转置:transpose复合:composition自反:reflexive对称的:symmetric反对称的:anti-symmetric可递的:transitive等价关系:equivalence relation半序关系:partial ordering relation 函数:function映射:mapping变换:transformation像点:image象:image自变量:independent variable因变量:dependent variable函数图象:graph of a function合成函数:composition function可逆函数:invertible function一一对应:one to one correspondence 内射:injective满射:surjective双射:bijective基数度:cardinality基数:cardinal number图论:graph theory多重图:multigraphy顶点:vertix(point,node)无序对:unordered pair边:edge相邻的adjacent端点:endpoint多重边:multiple edge环:loop子图:subgraph生成子图:generated subgraph平凡图:trivial graph入射:incident孤立点:isolated vertex连通性:connectivity通路:walk长度:length简单通路:chain(trail)圈:path回路:cycle连通的:connected连通分支:connected component距离:distance欧拉图:eulerian graph欧拉链路:eulerian trail哈密顿图:hamilton graph哈密顿回路:hamilton cycle货郎行程问题:traveling salesman完全图:complete graph正则图:regular graph偶图:bipartive graph树图:tree graph加权图:labeled graph同构图:isomorphic graph同构:isomorphism同胚的:homeomorphic平面图:planar graph着色问题:colortion区域:region地图:map非平面图:nonplanargraph着色图:colored graphs顶点着色:vertex coloring色散:chromatic number四色原理:four color theorem对偶地图:dual map退化树:degenerate tree生成树:spanning tree有根树:rooted tree根:root水平(深度):level(depth)叶子:leaf分支:branch有序有根树:ordered rooted tree二元运算符:binary operational symbol半群:semigroup单位元素:identity element右(左)单位元素:right(left) identity左(右)消去律:left(right) cancellation law) 逆:inverse并列:juxtaposition有限群:finite group正规子群:normal subgroup非平凡子群:nontrivial subgroup循环群:cyclic group环:ring整环:integral domain域:field交换环:commutative ring加性环:additive group汇合:meet格:lattice有界格:bounded lattice分配格:distributeve lattice补格:complemented lattice表示定理:representation theorem。
数学专业名词中英词汇
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 sequencet 括号 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 特征(征)根
数学专业英语词汇大全
数学专业英语词汇大全Aa priori bound 先验界限a priori distribution 先验分布a priori probability 先验概率a summable a可和的abacus 算盘abbreviate 略abbreviation 简化abel equation 阿贝耳方程abel identity 阿贝耳恒等式abel inequality 阿贝耳不等式abel summation method 阿贝耳求和法abelian algebra 阿贝耳代数abelian differential 阿贝耳微分abelian equation 阿贝耳方程abelian extension 阿贝耳扩张abelian function 阿贝耳函数abelian function field 阿贝耳函数域abelian functor 阿贝耳函子abelian group 交换群abelian groupoid 阿贝耳广群abelian integral 阿贝耳积分abelian summation 阿贝耳求和法abelian theorem 阿贝耳定理abelian variety 阿贝耳簇abridge 略abridged notation 简算记号abscissa 横坐标abscissa of absolute convergence 绝对收敛坐标abscissa of summability 可和性坐标abscissa of uniform convergence 一致收敛横坐标absolute 绝对形absolute address 绝对地址absolute class field 绝对类域absolute coding 绝对编码absolute cohomology 绝对上同调absolute conic 绝对二次曲线absolute convergence 绝对收敛absolute curvature vector 绝对曲率向量absolute deviation 绝对偏差absolute differential calculus 绝对微分学absolute error 绝对误差absolute extremes 绝对极值absolute extremum 绝对极值absolute frequency 绝对频率absolute geometry 绝对几何absolute homology group 绝对同岛absolute homotopy group 绝对同伦群absolute inequality 绝对不等式absolute instability 绝对不稳定性absolute maximum 绝对极大值absolute minimum 绝对极小值absolute moment 绝对矩absolute neighborhood 绝对邻域absolute neighborhood retract 绝对邻域收缩核absolute norm 绝对范数absolute number 不名数absolute parallelism 绝对平行性absolute quadric 绝对二次曲面absolute ramification index 绝对分歧指数absolute rotation 绝对旋转absolute singular homology group 绝对奇异同岛absolute space 绝对空间absolute space time 绝对时空absolute stability 绝对稳定性absolute term 常数项absolute unit 绝对单位absolute value 绝对值absolute value sign 绝对值符号absolute velocity 绝对速度absolutely additive measure 完全加性测度absolutely compact set 绝对紧集absolutely complete system 绝对完备系absolutely continuous 绝对连续的absolutely continuous distribution 绝对连续分布absolutely continuous function 绝对连续函数absolutely continuous measure 绝对连续测度absolutely continuous part 绝对连续部分absolutely continuous transformation 绝对连续变换absolutely convergent 绝对收敛的absolutely convergent integral 绝对收敛积分absolutely convergent series 绝对收敛级数absolutely convex hull 绝对凸包absolutely discontinuous function 绝对不连续函数absolutely integrable 绝对可积的absolutely irreducible character 绝对不可约特征absolutely irreducible representation 绝对不可约表示absolutely irreducible variety 绝对不可约簇absolutely normal number 绝对范数absolutely prime ideal 绝对素理想absolutely semisimple algebra 绝对半单代数absolutely simple group 绝对单群absolutely summable sequence 绝对可和序列absolutely unbiased estimator 绝对无偏估计量absolutely unramified extension 绝对非分歧扩张absorbing barrier 吸收障碍absorbing medium 吸收媒体absorbing set 吸收集absorbing state 吸收态absorption 吸收absorption coefficient 吸收系数absorption curve 吸收曲线absorption factor 吸收因数absorption index 吸收指数absorption law 吸收律absorption probability 吸收概率abstract 抽象的abstract algebra 抽象代数abstract algebraic geometry 抽象代数几何abstract automaton 抽象自动机abstract category 抽象范畴abstract code 理想码abstract complex 抽象复形abstract group 抽象群abstract interval function 抽象区间函数abstract mathematics 抽象数学abstract number 不名数abstract ordered simplicial complex 抽象有序单纯复形abstract simplex 抽象单形abstract simplicial subcomplex 抽象单子复形abstract space 抽象空间abstraction 抽象abstraction operator 抽象算子absurd 谬论的absurdity 谬论abundance ratio 丰度比abundant number 过剩数accelerated motion 加速运动acceleration 加速度acceleration of convergence 收敛性的加速acceleration of gravity 重力加速度acceptable quality level 合格质量水平acceptance 肯定acceptance inspection 接受检查acceptance limit 接受界限acceptance line 接受线acceptance number 接受数acceptance probability 接受概率acceptance region 接受区域acceptance zone 接受带access 存取access speed 存取速度access time 存取时间accessibility 可达性accessible boundary point 可达边界点accessible ordinal number 可达序数accessible point 可达点accessible set 可达集accessible vertex 可达顶点accessory extremal 配连极值accidental 偶然的accidental coincidence 偶然符合accidental error 随机误差accommodation 第accumulated error 累积误差accumulating point 聚点accumulation 累积accumulation point 聚点accumulator 累加器存储器accuracy 准确性accuracy grade 准确度accuracy of measurement 测量精确度accuracy rating 准确度acnod 孤点acount 计算action integral 酌积分action variable 酌变量active restriction 有效限制actual 真实的actual infinity 实无穷acute 尖锐的acute angle 锐角acute angled triangle 锐角三角形acute triangle 锐角三角形acuteness 锐度acyclic 非循环的acyclic complex 非循环复形acyclic graph 环道自由图acyclic model theorem 非循环模型定理ad infinitum 无穷地adams circle 阿达姆斯圆adams extrapolation method 阿达姆斯外插法adaptability 适应性adaptation 适应adapted basis 适应基add 加added circuit 加法电路addend 加数adder 加法器addition 加法addition formulas 加法公式addition sign 加号addition system 加法系addition table 加法表addition theorem 加法定理addition theorem of probability 概率的加法定理additional 加法的additional code 附加代码additional condition 附加条件additional error 附加误差additive 加法的additive category 加性范畴additive class 加性类additive functional 加性泛函数additive functional transformation 加性泛函变换additive group 加法群additive interval function 加性区间函数additive inverse element 加性逆元素additive number theory 堆垒数论additive operator 加性算子additive process 加性过程additive relation 加性关系additive separable 加法可分的additive theory of numbers 堆垒数论additive valuation 加法赋值additively commutative ordinal numbers 加性交换序数additivity 加法性address 地址address part 地址部分address register 地址寄存器addressing 指定箱位adele 阿代尔adele group 阿代尔群adequate 适合的adherent point 触点adhesion 附着adjacency 邻接adjacency matrix 邻接矩阵adjacent angles 邻角adjacent edge 邻棱adjacent side 邻边adjacent supplementary angles 邻角adjacent vertex 邻顶adjoint boundary value problem 伴随边值问题adjoint determinant 伴随行列式adjoint difference equation 伴随差分方程adjoint differential equation 伴随微分方程adjoint differential expression 伴随微分式adjoint form 伴随形式adjoint function 伴随函数adjoint functor 伴随函子adjoint graph 导出图adjoint group 伴随群adjoint hilbert problem 伴随希耳伯特问题adjoint integral equation 伴随积分方程adjoint kernel 伴随核adjoint linear map 伴随线性映射adjoint matrix 伴随阵adjoint operator 伴随算子adjoint process 伴随过程adjoint representation 伴随表示adjoint space 伴随空间adjoint surface 伴随曲面adjoint system 伴随系adjoint system of differential equations 微分方程的伴随系adjoint transformation 伴随算子adjoint vector 伴随向量adjunct 代数余子式adjunction 附加adjunction of an identity element 单位元的附加adjustable point 可胆点adjustment 蝶admissibility limit 容许界限admissible 容许的admissible category 容许范畴admissible chart 容许图admissible control 可行控制admissible decision function 容许判决函数admissible decision rule 容许判决函数admissible deformation 容许形变admissible domain 容许区域admissible function 容许函数admissible homomorphism 容许同态admissible hypothesis 容许假设admissible lifting 容许提升admissible map 容许映射admissible sequence 容许序列admissible space 容许空间admissible strategy 容许策略admissible subgroup 容许子群admissible test 容许检定admissible value 容许值affine algebraic set 仿射代数集affine collineation 仿射直射变换affine connection 仿射联络affine coordinates 平行坐标affine curvature 仿射曲率affine differential geometry 仿射微分几何学affine distance 仿射距离affine figure 仿射图形affine function 仿射函数affine geometry 仿射几何学affine group 仿射群affine group scheme 仿射群概型affine isothermal net 仿射等温网affine length 仿射长度affine line 仿射直线affine normal 仿射法线affine parameter 仿射参数affine principal curvature 仿射助率affine rational transformation 仿射有理变换affine space 仿射空间affine sphere 仿射球面affine surface 仿射曲面affine transformation 仿射变换affine variety 仿射簇affinely connected manifold 仿射连通廖affinely connected space 仿射连通空间affinity 仿射变换affirmation 肯定affirmative proposition 肯定命题affix 附标after effect 后效酌aggregate 集aggregation 聚合agreement 一致air coordinates 空间坐标airy function 亚里函数airy integral 亚里积分aitken interpolation 艾特肯插值aitken interpolation formula 艾特肯插值公式albanese variety 阿尔巴内斯簇aleph 阿列夫aleph zero 阿列夫零alexander cohomology module 亚历山大上同担alexander cohomology theory 亚历山大上同帝alexander matrix 亚历山大阵alexander polynomial 亚历山大多项式algebra 代数学algebra of events 事件场algebra of logic 逻辑代数algebra of tensors 张量代数algebra over k 环k上的代数algebraic 代数的algebraic adjunction 代数的附加algebraic affine variety 仿射代数集algebraic algebra 代数的代数algebraic branch point 代数分歧点algebraic calculus 代数计算algebraic closure 代数闭包algebraic closure operator 代数闭包算子algebraic complement 代数余子式algebraic cone 代数锥algebraic correspondence 代数对应algebraic curve 代数曲线algebraic equation 代数方程algebraic expression 代数式algebraic extension 代数扩张algebraic form 代数形式algebraic fraction 代数分式algebraic function 代数函数algebraic function field 代数函数域algebraic geometry 代数几何学algebraic group 代数群algebraic hull 代数包algebraic hypersurface of the seconed order 二阶代数超曲面algebraic integer 代数整数algebraic irrational number 代数无理数algebraic lie algebra 代数的李代数algebraic logic of pocket calculator 袖珍计算机的代数逻辑algebraic multiplicity 代数重度algebraic number 代数数algebraic number field 代数数域algebraic number theory 代数数论algebraic operation 代数运算algebraic polynomial 代数多项式algebraic singularity 代数奇点algebraic space 代数空间algebraic spiral 代数螺线algebraic structure 代数结构algebraic sum 代数和algebraic surface 代数曲面algebraic system 代数系algebraic variety 代数簇algebraically closed field 代数闭域algebraically dependent elements 代数相关元algebraically equivalent 代数等价的algebraically independent elements 代数无关元algebraization 代数化algebro geometric 代数几何的algebroid function 代数体函数algebroidal function 代数体函数algorithm 算法algorithm of division 辗转相除法algorithm of euclid 欧几里得算法algorithm theory 算法论algorithmic language 算法语言algorithmization 算法化aligned systematic sampling 列系统抽样alignment chart 列线图aliquot part 整除部分alligation 混合法allocation problem 配置问题allowable 容许的allowable defects 容许靠allowable error 容许误差allowance 允许almost all 几乎处处almost bounded function 殆有界函数almost certain convergence 几乎必然收敛almost complex manifold 殆复廖almost convergent sequence 殆收敛序列almost equivalent 殆等价almost everywhere 几乎处处almost impossible event 殆不可能事件almost invariant set 殆不变集almost periodic function 殆周期函数almost periodicity 殆周期性almost significant 殆显著的alpha capacity 容量alpha limit set 极限集alphabetical 字母的alphanumeric 字母数字式alphanumeric representation of information 信息的字母数字表示alternate angles 错角alternating chain 交错链alternating differential form 外微分形式alternating differential of differential form 微分形式的交错微分alternating direction method 交替方向法alternating form 交错形式alternating function 反对称函数alternating group 交错群alternating harmonic series 莱布尼兹级数alternating knot 交错纽结alternating matrix 交错矩阵alternating method 交错法alternating product 外积alternating sequence 交错序列alternating series 交错级数alternating series test 交错级数检验alternating sum 交错和alternating tensor 交错张量alternating tensor density 交错张量密度alternating tree 交错树alternation 交错alternative 交错;择一alternative algebra 交错代数alternative field 交错域alternative hypothesis 择一假设alternative normal form 析取范式alternative proposition 选言命题altitude 高度altitude theorem 高度定理amalgamated product 融合积amalgamated subcategory 融和子范畴amalgamation 合并ambient space 环绕空间ambiguous point 歧点amicable numbers 亲和数amount 量amphicheiral knot 双向纽结ample divisor 丰富除子amplitude 振幅;角amplitude of a complex number 复数角analog computer 模拟计算机analogous 类似的analogue display 相似表示analogue method 相似法analogy 类似analysis 数学分析analysis of time series 时间序列分析analysis of variance 方差分析analytic 分析的analytic arc 解析弧analytic completion 解析开拓analytic continuation 解析开拓analytic curve 解析曲线analytic dynamics 分析动力学analytic expression 解析式analytic function 分析函数analytic function of several variables 多元解析函数analytic geometry 分析几何学analytic index 解析指数analytic manifold 解析廖analytic method 解析法analytic prime number theory 解析素数论analytic proof 解析证明analytic proposition 解析命题analytic set 解析集analytic space 解析空间analytic transformation 解析变换analytical differential 解析微分analytical geometry 分析几何学analytical hierarchy 解析分层analytical mapping 全纯映射analytical transformation 全纯映射analytically continuable 可解析开拓的analytically independent 解析无关的analytically irreducible variety 解析不可约簇analytically representable function 解析可表示的函数anastigmatic 去象散的anchor ring 环面ancillary statistic 辅助统计量and circuit 与电路andre permutation 安得列置换andre polynomial 安得列多项式anger function 安格尔函数angle 角angle at center 圆心角angle between chord and tangent 弦和切线的角angle function 角函数angle of 落后角angle of advance 超前角angle of attack 迎角angle of contact 接触角angle of contingence 切线角angle of declination 俯角angle of diffraction 衍射角angle of incidence 入射角angle of inclination 斜角angle of intersection 相交角angle of lead 超前角angle of reflection 反射角angle of refraction 折射角angle of rotation 旋转角angle of torsion 挠率角angle preserving 保角的angle preserving map 保角映象angular 角的angular acceleration 角加速度angular coefficient 角系数angular coordinates 角坐标angular correlation 角相关angular derivative 角微商angular dispersion 角色散angular displacement 角位移angular distance 角距angular distribution 角分布angular domain 角域angular excess 角盈angular frequency 角频率angular magnification 角放大率angular measure 角测度angular metric 角度量angular momentum 角动量angular momentum conservation law 角动量守恒律angular motion 角运动angular neighborhood 角邻域angular transformation 角变换angular unit 角的单位angular velocity 角速度anharmonic oscillation 非低振动anharmonic ratio 交比anisotropic 蛤异性的anisotropic body 蛤异性体anisotropy 蛤异性annihilator 零化子annular 环annulator 零化子annulus 圆环anomalous magnetic moment 反常磁矩anomalous propagation 反常传播anomalous scattering 反常散射anomaly 近点角antecedent 前项anti automorphism 反自同构anti hermitian form 反埃尔米特形式anti isomorphic lattice 反同构格anti isomorphism 反同构anti position 反位置anti reflexiveness 反自反性anti semiinvariant 反半不变量antianalytic function 反解析函数antichain 反链anticlockwise 逆时针的anticlockwise revolution 逆时针回转anticlockwise rotation 逆时针回转anticoincidence 反重合anticoincidence method 反重法anticommutation 反交换anticommutative 反交换的anticommutativity 反交换性anticommutator 反换位子antiderivative 不定积分的antiholomorphic 反全纯的antihomomorphism 反同态antiisomorphy 反同构antilinear 反线性的antilinear mapping 反线性映射antilinear transformation 反线性变换antilogarithm 反对数antimode 反方式antimodule 反模antinode 反结点antinomy 二律背反antiorder homomorphism operator 反序同态算子antiordered set 反有序集合antiparallel 逆平行的antiplane 反平面antipodal map 对映映射antipodal point 对映点antipodal set 对映集antipode 对映点antipoints 反点antiradical 反根式antiresonance 反共振antisymmetric 反对称的antisymmetric function 反对称函数antisymmetric matrix 反对称矩阵antisymmetric relation 反对称关系antisymmetric tensor 反对称张量antisymmetrical state 反对称态antithesis 反题antitone mapping 反序映射antitone sequence 反序列antitonic function 反序函数antitonicity 反序性antitony 反序性antitrigonometric function 反三角函数antiunitary 反酉的aperiodic damping 非周期衰减aperiodic motion 非周期运动aperiodicity 非周期性aperture ratio 口径比apex 顶点apex angle 顶角apical angle 顶角apolar 非极性的apolarity 从配极性apothem 边心距apparent error 貌似误差apparent force 表观力apparent motion 表观运动apparent orbit 表观轨迹apparent singularity 貌似奇性application 应用applied mathematics 应用数学applied mechanics 应用力学approach 接近approach infinity 接近无穷大approximability 可逼近性approximable 可逼近的approximate 近似的;使近似approximate calculation 近似计算approximate construction 近似准approximate continuity 近似连续性approximate derivative 近似导数approximate differentiability 近似可微性approximate differential 近似微分approximate formula 近似公式approximate integration 近似积分approximate limit 近似极限approximate lower semi continuity 近似下半连续性approximate method 近似法approximate number 近似数approximate partial derivative 近似偏导函数approximate partial derived function 近似偏导函数approximate partial differential 近似偏微分approximate solution 近似解approximate total differentiability 近似全可微性approximate total differential 近似全微分approximate upper semi continuity 近似上半连续性approximate value 近似值approximate value in excess 过剩近似值approximately equal 近似等于approximately semicontinuous 近似半连续的approximation 逼近approximation by excess 过剩逼近approximation calculus 近似计算approximation error 近似误差approximation function 逼近函数approximation in excess 过剩逼近approximation method 近似法approximation methods in physics 物理学中的逼近法approximation theorem 逼近定理approximation theory 逼近理论arbitrarily small 任意小arbitrary 任意的arbitrary constant 任意常数arbitrary element 任意元素arbitrary parameter 任意参数arbitrary small number 任意小数arc 弧arc component 弧分量arc cosecant 反余割arc cosine 逆余弦arc cotangent 逆余切arc hyperbolic function 反双曲函数arc length 弧长arc of a circle 圆弧arc secant 反正割arc set 弧集arc sine 逆正弦arc sine distribution 反正弦分布arc sine law 反正弦定律arc sine transformation 反正弦变换arc tangent 反正切arch 拱形archaeometry 考古测量学archimedean 阿基米德性的archimedean group 阿基米德群archimedean semigroup 阿基米德半群archimedean space 阿基米德空间archimedean total order 阿基米德全序archimedean valuation 阿基米德赋值archimedes axiom 阿基米德公理archimedes spiral 阿基米德螺线archimedically ordered field 阿基米德有序域archimedically ordered number field 阿基米德有序数域arcwise connected set 弧连通集arcwise connected space 弧连通空间arcwise connectedness 弧连通性are 公亩area 面积area function 面积函数area of a circle 圆面积area preserving mapping 保面积映射areal coordinates 重心坐标areal derivative 面积导数areal element 面积元素areal integral 面积分areal velocity 面积速度argand plane 复数平面argument 自变数;辐角argument function 辐角函数argument of a function 函数的自变数argument principle 辐角原理argumentation 论证aristotelian logic 亚里斯多德逻辑学arithmetic 算术arithmetic al function 数论函数arithmetic difference 算术差arithmetic division 算术除法arithmetic element 运算元素arithmetic expression 算术表达式arithmetic function 数论函数arithmetic genus 算术狂arithmetic geometric mean 算术几何平均arithmetic geometric series 算术几何级数arithmetic logic of pocket calculator 袖珍计算机的算术逻辑arithmetic mean 算术平均arithmetic number 正实数arithmetic of algebraic number fields 代数数域的数论arithmetic of algebras 代数的数论arithmetic of local fields 局部域的数沦arithmetic operation 算术操作算术运算arithmetic progression 算术级数arithmetic subgroup 算术子群arithmetic unit 运算元素arithmetical hierarchy 算术谱系arithmetical predicate 算术谓词arithmetical triangle 帕斯卡三角形arithmetics 算术arithmetization 算术化arithmometer 四则计算机arrangement 排列array 排列arrow 射artificial variable 人工变量artificial variable method 人工变量法artin conductor 阿廷前导子artin conjecture 阿廷猜想artin reciprocity law 阿廷互反禄artinian module 阿丁模artinian ring 阿丁环ascending 上升的ascending chain condition 升链条件ascending difference 后向差分ascending power series 升幂级数ascending powers 升幂ascending sequence 递升序列aspherical space 非球面空间asphericity 非球面牲assemblage 集assembler 汇编assertion sign 断定号assignable cause 可指定的原因assignment problem 配置问题associate equation 相伴方程associated equation 相伴方程associated fiber bundle 相伴的纤维丛associated form 连带形式associated function 连带函数associated graded module 相伴分次模associated graded ring 形式环associated homogeneous equation 相伴齐次方程associated homogeneous system 相伴齐次组associated laguerre polynomial 连带的拉盖尔多项式associated legendre function 相伴勒让德函数associated legendre polynomial 连带的勒让德多项式associated minimal surface 相伴极小曲面associated power series 相伴幂级数associated prime ideal 相伴素理想associated radius of convergence 相伴收敛半径associated space 相伴空间associated spherical harmonic 相伴球面低associated surface 连带曲面associated system 相伴系associated undirected graph 相伴无向图association 结合associative algebra 结合代数associative law 结合律associative law for series 级数的结合律associativity 结合性assume 假定assumption 假定assumption formula 假定公式asterisk 星号asteroid 星形线asymmetric 非对称的asymmetric relation 非对称关系asymmetric variety 非对称簇asymmetrical 非对称的asymmetrical graph 恒等图asymmetry 非对称性asymptote 渐近线asymptote of curve 曲线的渐近线asymptotic 浙近的asymptotic behavior 渐近状态asymptotic circle 渐近圆asymptotic cone 渐近锥面asymptotic convergence 渐近收敛asymptotic curvature 渐近曲率asymptotic curve 渐近曲线asymptotic density 渐近密度asymptotic direction 渐近方向asymptotic efficiency 渐近效率asymptotic expansion 渐近展开asymptotic formula 渐近公式asymptotic line 渐近线asymptotic mean value 渐近平均值asymptotic minimal basis 渐近极小基asymptotic order 渐近阶asymptotic path 渐近路线asymptotic plane 渐近平面asymptotic point 渐近点asymptotic rate of convergence 渐近收敛速度asymptotic series 渐近级数asymptotic solution 渐近解asymptotic stability 渐近稳定性asymptotic surface 渐近曲面asymptotic unbiased estimator 渐近无偏估计量asymptotic value 渐近值asymptotically efficient estimator 渐近有效估计量asymptotically equal 渐近相等asymptotically equal sequence 渐近相等序列asymptotically equivalent function 渐近等价函数asymptotically normal distribution 渐近正态分布asymptotically normally distributed 渐近正规分布的asymptotically stable 渐近稳定的asymptotically stable solution 渐近稳定解asynchronous computer 异步计算机atiyah singer index theorem 阿蒂亚辛格指数定理atlas 坐标邻域系atom 原子atomic element 原子元素atomic formula 原子公式atomic lattice 原子格atomic proposition 原子命题atomicity 原子性attaching map 接着映射attenuation 衰减attenuation constant 衰减常数attenuation factor 衰减因数attenuator 衰减器attraction 引力attractive force 引力attractor 吸引区attribute 属性augend 被加数augmentation 扩张augmentation preserving map 增广保存映射augmented complex 扩张复形augmented matrix 增广矩阵austausch 交换autocorrelation 自相关autocorrelation coefficient 自相关系数autocorrelation function 自相关函数autocorrelogram 自相关图autocovariance 自协方差autocovariance function 自协方差函数autodistributivity 自分配性automata 自动机automatic check 自动检验automatic coding 自动编码automatic computation 自动计算automatic computer 自动计算机automatic control 自动控制automatic control system 自动控制系统automatic control theory 自动控制理论automatic programming 自动程序设计automatic testing 自动检验automation 自动化automaton 自动机automaton graph 自动机图automorphic form 自守形式automorphic function 自守函数automorphism 自同构automorphism group 自同构群autonomous system 自治系统autoparallel curve 自平行曲线autoregression 自回归autoregression equation 自回归方程autoregressive process 自回归过程autoregressive transformation 自回归变换auxiliary 辅助的auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 相伴齐次方程auxiliary function 辅助函数auxiliary line 辅助线auxiliary variable 辅助变数average 平均值average deviation 平均偏差average error 平均误差average life 平均寿命average outgoing quality 平均出厂质量average outgoing quality limit 平均出厂质量极限average quality protection 平均品质保护average sample number 平均样本数average speed 平均速度average term 普通项average time 平均时间average value 平均值averaging 取平均数averaging method 平均法averaging operator 平均算子axes of coordinates 座标轴axial 轴的axial symmetry 轴对称axial vector 轴向量axially symmetric flow 轴对称流axialsymmetric vector field 轴对称向量场axiom 公理axiom of accessibility 可达性公理axiom of addition 加法公理axiom of choice 选择公理axiom of completeness 完备性公理axiom of comprehension 概括公理axiom of constructibility 可构成性公理axiom of constructivity 可构成性公理axiom of continuity 连续公理axiom of extensionality 外延性公理axiom of infinity 无穷性公理axiom of power set 幂集公理axiom of reducibility 可化归性公理axiom of regularity 正则性公理axiom of subsets 子集公理axiom of substitution 替换公理axiom of sum set 并集公理axiom of the empty set 空集公理axiom of union 并集公理axiom scheme 公理格式axiomatic 公理的axiomatic method 公理法axiomatic set theory 公理论的集论;公理集合论axiomatic system 公理系统axiomatics 公理学axiomatization 公理化axiomatize 公理化axioms of congruence 叠合公理axioms of continuity 连续公理axioms of denumerability 可数公理axioms of incidence 关联公理axioms of order 次序公理axis 轴axis of a cone 锥轴axis of abscissas 横坐标轴axis of absolute convergence 绝对收敛轴axis of affinity 仿射轴axis of convergence 收敛轴axis of coordinate 坐标轴axis of curvature 曲率轴axis of ordinates 纵坐标轴axis of projection 射影轴axis of reals 实轴axis of revolution 回转轴axis of rotation 回转轴axis of symmetry 对称轴axisymmetric 轴对称的axonometric perspective 轴测投影法axonometric projection 轴测投影法axonometry 轴测法azimuth 方位角azimuthal 方位角的Bb measurability b可测性b measurable function 波莱尔可测函数babylonian numerals 巴比伦数字back substitution 逆计算backward difference 后向差分backward difference operator 后向差分算子backward difference quotient 后向差商backward solution 后向解法baire function 贝利函数baire measure 贝利测度baire set 贝利集baire space 贝利空间baire theorem 贝利定理balance 平衡balanced category 平衡范畴balanced functor 平衡函子balanced hypergraph 平衡超图balanced neighborhood 平衡邻域balanced sample 平衡样本balanced set 平衡集balancing method 平衡法balayage 扫除ball 球ballistic curve 弹道banach algebra 巴拿赫代数banach lie group 巴拿赫李群banach space 巴拿赫空间band 带band chart 带状图band matrix 带状矩阵bar construction 棒构成bar diagram 条线图bar graph 条线图barrel 桶集barrel shape 桶型barrelled space 桶型空间barrier 闸barycenter 重心barycenter of a simplex 单形的重心barycentric 重心的barycentric complex 重心复形barycentric coordinates 重心坐标barycentric mapping 重心映射barycentric subdivision 重心重分base 底base angle 底角base line 底线base number 底数base of logarithms 对数的底base point 基点base register 基址寄存器变址寄存器base space 底空间base vector 基向量basic 基础的basic block 基本块basic field 基域basic form 基本形式basic point 基础点basic representation 基本表示basic ring 基环basic solution 基本解basic symbol 基本符号basic variable 基本变量basis 基basis for cohomology 上同爹basis for homology 同爹basis of linear space 线性空间的基basis of vector space 向量空间的基basis replacement procedure 基替换过程basis theorem of hilbert 希耳伯特基定理basis vector 基本向量batch processing 成批处理bayes decision function 贝叶斯判定函数bayes formula 贝叶斯公式bayes postulate 贝叶斯公设bayes solution 贝叶斯解behavior 行为behavior strategy 行为策略bellman principle 贝尔曼原理beltrami equation 贝尔特拉米方程bending point 转向点bergman metric 伯格曼度量bernoulli equation 伯努利方程bernoulli inequality 伯努利不等式bernoulli method 伯努利法bernoulli number 伯努利数bernoulli polynomial 伯努利多项式bernoulli trials 伯努利试验bernoullian polynomial 伯努利多项式bernstein inequality 伯思斯坦不等式bernstein polynomial 伯思斯坦多项式bertrand curves 柏特龙曲线bertrand paradox 柏特龙悖论bessel equation 贝塞耳方程bessel function 贝塞耳函数bessel function of the second kind 第二类贝塞耳函数bessel function of the third kind 第三类贝塞耳函数bessel inequality 贝塞耳不等式bessel integral 贝塞耳积分best approximation 最佳逼近best estimator 最佳估计量best test 最佳检验best uniform approximation 最佳一致逼近beta distribution 分布beta function 函数betti group 贝蒂群betti number 贝蒂数between group variance 群间方差biadditive 双加法的biangular 双角的bias 偏倚biased estimator 有偏估计量biased sample 有偏样本biased statistics 有偏统计量biased test 有偏检验biaxial 双轴的biaxial spherical harmonic function 双轴球面低函数bicartesian square 双笛卡儿方bicharacteristic 双特征bicompact 紧bicompact set 紧集bicompact space 列紧空间bicompact transformation group 列紧变换群。
离散数学双语专业词汇表
《离散数学》双语专业词汇表Abelian group：交换（阿贝尔）群absorption property：吸收律acyclic：无（简单）回路的adjacent vertices：邻接结点adjacent vertices：邻接结点adjacent vertices：邻接结点algorithm verification：算法证明algorithm：算法alphabet：字母表alternating group：交替群analogous：类似的analysis of algorithm：算法分析antisymmetric：反对称的approach：方法，方式argument：自变量associative：可结合的associative：可结合的asymmetric：非对称的backtracking：回溯base 2 exponential function：以2为底的指数函数basic step：基础步biconditional, equivalence：双条件式，等价bijection, one-to-one correspondence：双射，一一对应binary operation on a set A：集合A上的二元运算binary operation：二元运算binary relation：二元关系(complete) binary tree：(完全)二元(叉)树bland meats：未加调料的肉block, cell：划分块，单元Boolean algebra：布尔代数Boolean function：布尔函数Boolean matrix：布尔矩阵Boolean polynomial, Boolean expression：布尔多项式（表达式）Boolean product：布尔乘积bounded lattice：有界格brace：花括号bridge：桥，割边by convention：按常规，按惯例cancellation property：消去律capacity：容量cardinality：基数，势category：类别，分类catenation：合并，拼接ceiling function：上取整函数certain event：必然事件characteristic equation：特征方程characteristic function：特征函数chromatic number of G：G的色数chromatic polynomial：着色多项式circuit design：线路设计circuit：回路closed under the operation：运算对…是封闭的closed with respect to：对…是封闭的closure：闭包collision：冲突coloring graphs：图的着色column：列combination：组合common divisor：公因子commutative：可交换的commutative：可交换的commuter：经常往来于两地的人comparable：可比较的compatible with：与…相容compatible：相容的complement of B with respect to A：A与B的差集complement：补元complementary relation：补关系complete graph：完全图complete match：完全匹配complete n-tree：完全n-元树component sentence：分句component：分图composition：复合composition：关系的复合compound statement：复合命题conditional statement, implication：条件式，蕴涵式congruence relation：同余关系congruent to：与…同余conjecture：猜想conjunction：合取connected：连通的connected：连通的connection：连接connectivity relation：连通性关系consecutively：相继地consequent, conclusion：结论，后件constructive proof：构造性证明contain(in)：包含（于）contingency：可满足式contradiction, absurdity：永假(矛盾)式contrapositive：逆否命题conversation of flow：流的守恒converse：逆命题conversely：相反地coordinate：坐标coset：陪集countable(uncountable)：可数（不可数）counterexample；反例counting：计数criteria：标准，准则custom：惯例cut：割cycle：回路cyclic permutation：循环置换，轮换de Morgan’s laws：德摩根律declarative sentence：陈述句degree of a vertex：结点的度depot：货站，仓库descendant：后代diagonal matrix：对角阵die：骰子digraph：有向图dimension：维(数)direct flight：直飞航班discipline：学科disconnected：不连通的discrete graph(null graph)：零图disjoint sets：不相交集disjunction：析取distance：距离distinguish：区分distributive lattice：分配格distributive：可分配的distributive：可分配的division：除法dodecahedron：正十二面体domain：定义域doubly linked list：双向链表dual：对偶edge：边edge：边element, member：成员，元素empty relation：空关系empty sequence(string)：空串empty set：空集end point：端点entry(element)：元素equally likely：等可能的，等概率的equivalence class：等价类equivalent relation：等价关系Euclidian algorithm：欧几里得算法，辗转相除法Euler path(circuit)：欧拉路径(回路)event：事件everywhere defined：处处有定义的excess capacity：增值容量existence proof：存在性证明existential quantification：存在量词化expected value：期望值explicit：显式的extensively：广泛地，全面地extremal element：极值元素factor：因子factorial：阶乘finite (infinite) set：有限（无限）集finite group：有限（阶）群floor function：下取整函数free semigroup generated by A：由A生成的自由半群frequency of occurrence：出现次数(频率) function, mapping, transformation：函数，映射，变换GCD(greatest common divisor)：最大公因子gender：性别generalize：推广generic element：任一元素graduate school：研究生院graph：(无向)图graph：无向图greatest(least) element：最大(小)元greedy algorithm：贪婪算法group：群growth of function：函数增长Hamiltonian path(circuit)：哈密尔顿路径(回路) hashing function：杂凑函数Hasse diagram：哈斯图height：树高homomorphic image：同态像homomorphism：同态hypothesis：假设，前提，前件idempotent：等幂的idempotent：幂等的identity function on A：A上的恒等函数identity(element)：么（单位）元identity：么元，单位元impossible event：不可能事件inclusion-exclusion principle：容斥原理in-degree：入度indirect method：间接证明法induction step：归纳步informal brand：不严格的那种inorder search：中序遍历intersection：交intuitively：直觉地inverse：逆关系inverse：逆元inverse：逆元inverter：反向器invertible function：可逆函数involution property：对合律irreflexive：反自反的isolated vertex：孤立结点isomorphism：同构isomorphism：同构join：，保联，并join：并Karnaugh map：卡诺图Kernel：同态核key：键Klein 4 group：Klein四元群Konisberg Bridge problem：哥尼斯堡七桥问题Kruskal’s algorithm：Kruskal算法labeled digraph：标记有向图lattice：格LCM(least common multiple)：最小公倍数leaf(leave)：叶结点least upper(greatest lower) bound：上(下)确界level：层，lexicographic order：字典序likelihood：可能性linear array(list)：线性表linear graph：线性图linear homogeneous relation of degree k：k阶线性齐次关系linear order(total order)：线序，全序linearly ordered set, chain：线（全）序集，链linked list：链表linked-list representation：链表表示logarithm function to the base n：以n为底的对数logical connective：命题联结词logically equivalent：（逻辑）等价的logically follow：是…的逻辑结论logician：逻辑学家loop：自回路lower order：低阶main diagonal：主对角线map-coloring problem：地图着色问题matching function：匹配函数matching problems：匹配问题mathematical structure(system)：数学结构（系统）matrix：矩阵maximal match：最大匹配maximal(minimal) element：极大(小)元maximum flow：最大流meet：保交，交meet：交minimal spanning tree：最小生成树minterm：极小项modular lattice：模格modulus：模modus ponens：肯定律m odus tollens：否定律monoid：含么半群，独异点multigraph：多重图multiple：倍数multiplication table：运算表multi-valued function：多值函数mutually exclusive：互斥的，不相交的natural homomorphism：自然同态nearest neighbor：最邻近结点negation：否定（式）normal subgroup：正规(不变)子群notation：标记notion：概念n-tree：n-元树n-tuple：n-元组odd(even) permutation：奇（偶）置换offspring：子女结点one to one：单射，一对一函数onto：到上函数，满射operation on sets：集合运算optimal solution：最佳方法or(and, not) gate：或(与，非)门order of a group：群的阶order relation：序关系ordered pair：有序对，序偶ordered tree：有序树ordered triple：有序三元组ordinance：法规out-degree：出度parent：父结点partial order：偏序关系partially ordered set, poset：偏序集partition, quotient set：划分，商集path：路径path：通路，路径permutation：置换，排列pictorially：以图形方式pigeonhole principle：鸽巢原理planar graph：(可)平面图plausible：似乎可能的pointer：指针Polish form：（表达式的）波兰表示polynomial：多项式positional binary tree：位置二元(叉)树positional tree：位置树postorder search：后序遍历power set：幂集predicate：谓词preorder search：前序遍历prerequisite：预备知识prescribe：命令，规定Prim’s algorithm：Prim算法prime：素（数）principle of mathematical induction：（第一）数学归纳法probabilistic：概率性的probability(theory)：概率(论)product partial order：积偏序product set, Caretesian set：叉积，笛product：积proof by contradiction：反证法proper coloring：正规着色propositional function：命题公式propositional variable：命题变元pseudocode：伪码（拟码）pumping station：抽水站quantifier：量词quotient group：商群random access：随机访问random selection(choose an object at random)：随机选择range：值域rational number：有理数reachability relation：可达性关系reasoning：推理recreational area：游乐场所recursive：递归recycle：回收，再循环reflexive closure：自反闭包reflexive：自反的regular expression：正则表达式regular graph：正规图，正则图relation：关系relationship：关系relay station：转送站remainder：余数representation：表示restriction：限制reverse Polish form：（表达式的）逆波兰表示(left) right coset：(左)右陪集root：根，根结点rooted tree：（有）根树row：行R-relative set：R相关集rules of reference：推理规则running time：运行时间same order：同阶sample space：样本空间semigroup：半群sensible：有意义的sensible：有意义的sequence：序列sequential access：顺序访问set corresponding to a sequence：对应于序列的集合set inclusion(containment)：集合包含set：集合siblings：兄弟结点simple cycle：简单回路simple path(circuit)：基本路径(回路)simple path：简单路径（通路）sink：汇sophisticated：复杂的source：源spanning tree：生成树，支撑树square matrix：方阵statement, proposition：命题storage cell：存储单元string：串，字符串strong induction：第二数学归纳法subgraph：子图subgroup：子群sublattice：子格submonoid：子含么半群subscript：下标subsemigroup：子半群subset：子集substitution：替换subtree：子树summarize：总结，概括symmetric closure：对称闭包symmetric difference：对称差symmetric group：对称群symmetric：对称的tacitly：默认tautology：永真(重言)式tedious：冗长乏味的terminology：术语the capacity of a cut：割的容量topological sorting：拓扑排序transitive closure：传递闭包transitive：传递的transport network：运输网络transposition：对换traverse：遍历，周游tree searching：树的搜索（遍历）tree：树truth table：真值表TSP(traveling salesperson problem)：货郎担问题unary operation：一元运算undirected edge：无向边undirected edge：无向边undirected tree：无向树union：并unit element：么(单位)元universal quantification：全称量词化universal set：全集upper(lower) bound：上(下)界value of a flow：流的值value, image：值，像，应变量V enn diagram：文氏图verbally：用言语vertex(vertices)：结点vertex(vertices)：结点，顶点virtually：几乎Warshal’s algorithm：Warshall算法weight：权weight：树weighted graph：（赋）权图well-defined：良定，完全确定word：词zero element：零元。
离散数学中文—英文名词对照表
succedent
well-formed formula (wff)
magic
circuit
t
k
prime to each other
characteristic of ring
minimal polynomial
order
product
simple graph simple proposition (atomic proposition)
Euler 函数
Euler 迹
Euler 数
Euler 图
Euler 特征
二元关系
二分图
反演
赋值
复合运算
复合（分子）命题
覆盖
分配格
个体变元
格
格同态
公因子
割边
割点
Hamilton 圈
Hamilton 图
Hamilton 路
环
后件
合式公式(wff)
幻方
回路
t
k
互素
环的特征
极小多项式
阶
积
简单图 简单（原子）命题
离散数学中文—英文名词对照表
中文
英文
群(交换群) 半群 悖论 定理 代数 函数 同态 格 伴随 标准满态射 闭包 补图(子图的余) 补元 边色数 边着色 边连通度 边覆盖 边覆盖数 边割集 边集 边独立数 不动点 包含与排斥原理 包含关系 不变因子 本原元 本原多项式 并(并集) 并运算 存在量词 存在推广规则 存在指定规则 出弧
迹
基
Euler function
Euler trail
Euler number
Euler gralation
bipartite graph
离散数学专业名词
第一章集合论、逻辑与算法基础1.1集合set（集合）power set（幂）complement of a set（补集）roster method（枚举法）universalset set（全集）symmetric difference（对称差集）set-builder method（集合构造方法）Venn diagrams（文氏图）ordered pair（有序对）subset（子集）union of sets（并集）Cartesian product（笛卡尔积）superset（父集）intersection of sets（交集）diagonal of a set（对角集）proper subset（真子集）disjoint sets（不相交集）ordered n-tuples（有序n元组）equal sets（相等集合）index set（索引集）n-flod Cartesian product（n次笛卡尔积）empty （null）set（空集）set difference（差集）bit string（位串）finite set（有限集）mutually disjoint（互不相交）length（长度）infinite set（无限集）pairwise disjoint（互不相交）singleton set（单体集合）relative complement（相对补集）1.2数理逻辑statement（命题）condition（条件）converse（逆命题）proposition（命题）biimplication（双向蕴涵）inverse（反命题）truth value（真值）biconditional（双向条件）contrapositive（逆否命题）negation（非）logical connectives（逻辑连接词）statement formula（命题公式）conjunction（合取）well-formed formulas（良态公式）formula（公式）disjunction（析取）tautology（重言式）implication（蕴涵）contradiction（矛盾式）1.3论证有效性proof（证明）modus tollens（否定法）disjunctive addition（析取加法）argument（论证）disjunctive syllogisms（析取三段论）conjunctive addition（合取加法）conclusion（结论）hypothetical syllogism（假设三段论）logically valid（逻辑有效）premise（前提）dilemma（二难推论）modus ponens（断言法）conjunctive simpli fications（合取简化）1.4量词与一阶逻辑statement logic（命题逻辑）predicate（谓词）domain（域）propositional logic（命题逻辑）propositional function（命题函数）free vricable（自由变量）n-place predicate（n位谓词）bound variable（约束变量）first-order logic（一阶逻辑）universal quantifier（全称量词）counterexample（反例）existential quantifier（存在量词）disproof（反证）1.5证明方法theorem（定理）indirect proof（间接证明）proof by contradiction（反证法）proof by direct method（直接证明方法）direct proof（直接证明）1.6 算法algorithm（算法）two-way selection（双路选择）list（列表）input（输入）if two-dimensional array（二维数组）output（输出）thenread precision（精度）else printuniqueness（唯一性）whilesubproprams（子程序）finiteness（有限性）do proceduregenerality（通用性）forfunction assignment operator（赋值运算符）begin constant polynomial（常量多项式）assignment statement（赋值语句）enddegree（次数）control structures（控制结构）return one-way selection（单路选择）arrays（数组）第三章关系与偏序集3.1关系与偏序集binary relation （二元关系）directed graph representation（有向图表示）digraph （有向图）relation （关系）vertex（顶点）adjacent to （与...相邻）R-related （R-相关）directed edge（有向边）adjacent from（从...相邻）related （相关）directed arc（有向弧）loop （环）empty relation （空关系）arrow diagram （矢量图）domain （域）universal relation （全称关系）directed graph（有向图）range （值域）image (映像) equivalence class （等价类）transitive closure （传递闭包）inverse （逆）R-class（R-类）directed walk （有向通路）composition （复合）reflexive （自反）R-equivalence class （R-等价类）walk （通路）partition （划分）vertices of the walk （通路顶点）transitive （传递）equivalence relation induced by the partition （划分推出的等价关系）terminal vertex （终止顶点）equivalence relation （等价关系）internal vertices （内部顶点）equality relation （相等性关系）reflexive closure （自反闭包）path （路径）congruence modulo m （模m同余）symmetric closure （对称闭包）3.2偏序集antisymmetric （反对称）lexicographic order （词典序）topological ordering （拓扑排序）partial order （偏序）dictionary order （字典序）upper bound（上界）partially ordered set （偏序集）closed （闭合）poset （偏序集）least upper bound（lub）（最小上界）covers （覆盖）lower bound （下界）dual （序偶）Hasse diagram （哈赛图）greatest lower bound （glb）（最大下界）comparable （可比）minimal element （极小元）lattice （格）linearly ordered set （线性有序集）maximal element （极大元）distributive （可分配性）totally ordered set （完全有序集）greatest element （最大元）complement （补元）chain （链）least element （最小元）Boolean algebra （布尔代数）product partial order （积偏序）compatible （兼容，相容）第四章矩阵与关系闭包4.1矩阵matrix（矩阵）diagonal matrix（对角矩阵）join（并）rectangular array（矩阵阵列）identity matrix（单位矩阵）Boolean meet（布尔交）element（元素）sum（和）meet（交）entry（项）difference（差）join of meet expression（相交表达式的并）equal（等于）multiplication（乘法）Boolean product（布尔积）square matrix（方阵）transpose（转置）product（积）zero matrix（零矩阵）symmetric（对称）diagonal element（对角元素）Boolean join（布尔并）4.2 关系矩阵与闭包matrix of a relation（关系矩阵）Warshall’s algorithm（Warshall算法）第五章函数5.1 函数function（函数）target（目标）onto（满射）well defined（合理定义）range（值域）surjective（满射）single valued（单值）numeric functions（数字函数）surjection（满射）image（映像）identity function（恒等函数）one-to-one correspondence（一一映射）preimage（预映像，前射，前像，原像）constant function（常数函数）bijective（双射）mapped（映射）one-one（单射函数）bijection（双射）domain（域）injective（内射）composition（复合）codomain（合域）injection（内射）5.2 特殊函数与集合的基数inverse function（逆函数）images（映像）cardinality（基数）left invertible（左可逆）direct image（直接映像）equivalent（等价）left inverse（左逆）inverse image（逆映像）equipotent（幂等）right invertible（右可逆）floor（下限）countable（可数）right inverse（右逆）ceiling（上限）uncountable（不可数）restriction（限制）floor function（弱取整函数）extension（扩展）ceiling function（强取整函数）5.3 序列与字符串sequence（序列）sum of the terms（项之和）index（索引）nth term of the sequence（序列第n项）summation symbol（求和符号）subscript（下标）finite sequence（有限序列）string（字符串）infinite sequence（无限序列）word（字符）integer sequence（整数序列）dummy variable（哑变量）alphabet（字母表）arithmetic progression（AP）（等差数列）lower limit（下限）length（长度）first term（首项）upper limit（上限）empty string（空字符串）common difference（公差）general term（通项）empty word（空串）geometric progression（GP）（等比数列）product of the terms（项之积）concatenation（接合）common ratio（公比）product symbol（求积符号）5.4 二元运算binary operation（二元运算）mathematical system（数学系统）idempotent（幂等）close under（在……下闭合）groupoid（群）idempotent semigroup（幂等半群）associative（可结合）identity（单位元）band（带）commutative（可交换）semigroup（半群）free semigroup generated by（由……生成的自由半群）Cayley multiplication table（Cayley乘法表）monoid（幺半群）free monoid generated by（由……生成的自由幺半群）Cayley table（Cayley表）transformation semigroup（变换半群）第六章同余6.1同余Congruent （同余）congruence class modulo （模m的同余类）6.3线性同余linear congruence in one variable （一个变量x的线性同余式）inverse （逆）residue representation （余数表示）unique modulo （唯一模）modular representation （模表示）round-robin tournament （循环赛）hashing （散列）hash address （散列地址）linear probing （线性探测）hash table （散列表）hashing function （散列函数）probe sequence （探测数列）hash function （散列函数）collision （冲突）double hashing （双重散列）6.4特殊同余定理Euler phi-function （欧拉phi函数）ciphertext （密文）encryption key （加密钥匙）plaintext（明文）decryption function （加密函数）decryption key （揭秘钥匙）第十章图论10.1图的定义与符号graph （图）parallel （平行边）arc（弧）set of vertices （顶点集合）isolated vertex （顶点孤立）Staring vertex （始点）set of edges （边集）degree （度）terminating vertex （终点）incidence function （关联函数）k-regular graph （k-正则图）in-degree （入度）end vertices （端点）even degree vertex （偶度顶点）out-degree （出度）endpoints（端点）odd degree vertex （奇度顶点）simple graph （简单图）incident （关联）degree sequence (度数列) complete graph（完全图）Adjacent （相邻）directed graph（有向图）triangle （三角形）loop （环）digraph （有向图）bipartite graph （二分图）incidence table （关联表）directed edge（有向边）Bipartition （二分）complete bipartite （完全二分）subgraph （子图）Complement of a graph（补图）Ramsey number （Ramsey数）10.2通路，路径与圈walk （通路）initial vertex （始点）terminal vertex（终点）directed walk （有向通路）length of a walk （通路长度）length of a directed walk （有向通路长度）u-v walk （u-v通路）u-v directed walk （u-v 有向通路）closed walk （闭合通路）closed directed walk （闭合有向通路）open walk （开放通路）open directed walk （开放有向通路）trail （迹) path （路径）trivial walk （平凡通路）trivial path （平凡路径）trivial trail （平凡迹）nontrivial walk （非平凡通路）nontrivial path （非平凡路径）nontrivial trial （非平凡迹）circuit （回路）cycle （圈）k-cycle （k圈）even cycle （偶数圈）odd cycle （奇数圈）subwalk （子通路）reduction of P by Q（P用Q简化）decomposition （分解）connected （连接）connected graph （连接图，连通图）disconnected graph （不连接图，不连通图）component （分支）distance （距离）matching （匹配）M-saturated （M-饱和）M-unsaturated （M-不饱和）perfect matching （完美匹配）maximum matching（最大匹配）neighbors （邻居）10.3图的矩阵表示adjacency （相邻矩阵）incidence matrix（关联矩阵）10.4特殊回路Euler circuit （欧拉回路）Euler trail （欧拉迹）Hamiltonian graph （汉密尔顿图）Euler graph （欧拉图）Hamiltonian cycle （汉密尔顿圈）Hamiltonian path （汉密尔顿路径）10.5同构isomorphic （同构）different （不同）10.6图算法weight （权）weighted graph （加权图）weight matrix （加权矩阵）length of a path （路径长度）shortest path algorithm （最短路径算法）greedy algorithm （贪婪算法）topological ordering （拓扑排序）immediate successor （直接后继）queue （队列）rear （队尾）10.7 平面图和图着色planar graph（平面图）exterior face（外面）proper vertex coloring（正常顶点着色）plane graph（平面图）interior face（内面）chromatic number（色数）planar representation of a graph（图的平面表示）subdivision of a graph（图的细分）edge coloring（边着色）faces（面）homeomorphic（同胚）proper edge coloring（正常边着色）boundary（边界）vertex coloring（顶点着色）chromatic index（色索引）第十一章树与网络11.1 树tree（树）acyclic graph（无环图）11.2 有根树rooted tree（有根树）binary tree（二叉树）postorder traversal（后序遍历）lever（层）trivial tree（平凡树）inorder sequence（中序顺序）child（子节点）left child（左子节点）preorder sequence（前序顺序）terminal vertex（终点）right child（右子节点）postorder sequence（后序顺序）leaf（叶子）left subtree（左子树）binary search tree（二叉搜索树）internal vertex（内顶点）right subtree（右子树）infix（中缀）descendant（后代）full binary tree（完全二叉树）prefix（前缀）ordered rooted tree（有序有根树）inorder traversal（中序遍历）postfix（后缀）height（高度）preorder traversal（前序遍历）expression tree（表达式树）11.3 生成树spanning tree（生成树）minimal spanning tree（最小生成树）weighted tree（加权树）Prim’s algorithm（Prim算法）weight（权）11.4 网络single-source，single-sink network（单元单汇网络）flow conservation（流量守恒）quasipath（拟路径）source（源）flow in edge（边流）forward arc（正向弧）target（目标）flow into（流入）backward arc（反向弧）sink（汇）flow out of（流出）slack（松弛）s-t network（s-t网络）conservation of flow（流量守恒）F-saturated（F-饱和）capacity（容量）value of a flow（流值）F-unsaturated（F-不饱和）transport network（传输网络）s-t cut of network（网络的s-t分割）flow augmenting（流增广）network（网络）capacity of an s-t cut（s-t分割容量）patent（父节点）flow（流）minimal cut（最小分割）immediate predecessor（直接前驱）capacity constraint（容量限制）maximal flow（最大流）。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《离散数学》双语专业词汇表set：集合subset：子集element, member：成员，元素well-defined：良定，完全确定brace：花括号representation：表示sensible：有意义的rational number：有理数empty set：空集Venn diagram：文氏图contain(in)：包含（于）universal set：全集finite (infinite) set：有限（无限）集cardinality：基数，势power set：幂集operation on sets：集合运算disjoint sets：不相交集intersection：交union：并complement of B with respect to A：A与B的差集symmetric difference：对称差commutative：可交换的associative：可结合的distributive：可分配的idempotent：等幂的de Morgan’s laws：德摩根律inclusion-exclusion principle：容斥原理sequence：序列subscript：下标recursive：递归explicit：显式的string：串，字符串set corresponding to a sequence：对应于序列的集合linear array(list)：线性表characteristic function：特征函数countable(uncountable)：可数（不可数）alphabet：字母表word：词empty sequence(string)：空串catenation：合并，拼接regular expression：正则表达式division：除法multiple：倍数prime：素（数）algorithm：算法common divisor：公因子GCD(greatest common divisor)：最大公因子LCM(least common multiple)：最小公倍数Euclidian algorithm：欧几里得算法，辗转相除法pseudocode：伪码（拟码）matrix：矩阵square matrix：方阵row：行column：列entry(element)：元素diagonal matrix：对角阵Boolean matrix：布尔矩阵join：并meet：交Boolean product：布尔乘积mathematical structure(system)：数学结构（系统）closed with respect to：对…是封闭的binary operation：二元运算unary operation：一元运算identity：么元，单位元inverse：逆元statement, proposition：命题logical connective：命题联结词compound statement：复合命题propositional variable：命题变元negation：否定（式）truth table：真值表conjunction：合取disjunction：析取quantifier：量词universal quantification：全称量词化propositional function：命题公式predicate：谓词existential quantification：存在量词化converse：逆命题conditional statement, implication：条件式，蕴涵式consequent, conclusion：结论，后件contrapositive：逆否命题hypothesis：假设，前提，前件biconditional, equivalence：双条件式，等价logically equivalent：（逻辑）等价的contingency：可满足式tautology：永真(重言)式contradiction, absurdity：永假(矛盾)式logically follow：是…的逻辑结论rules of reference：推理规则modus ponens：肯定律m odus tollens：否定律indirect method：间接证明法proof by contradiction：反证法counterexample；反例basic step：基础步principle of mathematical induction：（第一）数学归纳法induction step：归纳步strong induction：第二数学归纳法relation：关系digraph：有向图ordered pair：有序对，序偶product set, Caretesian set：叉积，笛partition, quotient set：划分，商集block, cell：划分块，单元domain：定义域range：值域R-relative set：R相关集vertex(vertices)：结点，顶点edge：边in-degree：入度out-degree：出度path：通路，路径cycle：回路connectivity relation：连通性关系reachability relation：可达性关系composition：复合reflexive：自反的irreflexive：反自反的empty relation：空关系symmetric：对称的asymmetric：非对称的antisymmetric：反对称的graph：无向图undirected edge：无向边adjacent vertices：邻接结点connected：连通的transitive：传递的equivalent relation：等价关系congruent to：与…同余modulus：模equivalence class：等价类linked list：链表storage cell：存储单元pointer：指针complementary relation：补关系inverse：逆关系closure：闭包symmetric closure：对称闭包reflexive closure：自反闭包composition：关系的复合transitive closure：传递闭包Warshal’s algorithm：Warshall算法function, mapping, transformation：函数，映射，变换argument：自变量value, image：值，像，应变量labeled digraph：标记有向图identity function on A：A上的恒等函数everywhere defined：处处有定义的onto：到上函数，满射one to one：单射，一对一函数bijection, one-to-one correspondence：双射，一一对应invertible function：可逆函数floor function：下取整函数ceiling function：上取整函数Boolean function：布尔函数base 2 exponential function：以2为底的指数函数logarithm function to the base n：以n为底的对数hashing function：杂凑函数key：键growth of function：函数增长same order：同阶lower order：低阶running time：运行时间permutation：置换，排列cyclic permutation：循环置换，轮换transposition：对换odd(even) permutation：奇（偶）置换order relation：序关系partial order：偏序关系partially ordered set, poset：偏序集dual：对偶comparable：可比较的linear order(total order)：线序，全序linearly ordered set, chain：线（全）序集，链product partial order：积偏序lexicographic order：字典序Hasse diagram：哈斯图topological sorting：拓扑排序isomorphism：同构maximal(minimal) element：极大(小)元extremal element：极值元素greatest(least) element：最大(小)元unit element：么(单位)元zero element：零元upper(lower) bound：上(下)界least upper(greatest lower) bound：上(下)确界lattice：格join：，保联，并meet：保交，交sublattice：子格absorption property：吸收律bounded lattice：有界格distributive lattice：分配格complement：补元modular lattice：模格Boolean algebra：布尔代数involution property：对合律Boolean polynomial, Boolean expression：布尔多项式（表达式）or(and, not) gate：或(与，非)门inverter：反向器circuit design：线路设计minterm：极小项Karnaugh map：卡诺图tree：树root：根，根结点rooted tree：（有）根树level：层，parent：父结点offspring：子女结点siblings：兄弟结点height：树高leaf(leave)：叶结点ordered tree：有序树n-tree：n-元树complete n-tree：完全n-元树(complete) binary tree：(完全)二元(叉)树descendant：后代subtree：子树positional tree：位置树positional binary tree：位置二元(叉)树doubly linked list：双向链表tree searching：树的搜索（遍历）traverse：遍历，周游preorder search：前序遍历Polish form：（表达式的）波兰表示inorder search：中序遍历postorder search：后序遍历reverse Polish form：（表达式的）逆波兰表示linked-list representation：链表表示undirected tree：无向树undirected edge：无向边adjacent vertices：邻接结点simple path：简单路径（通路）simple cycle：简单回路acyclic：无（简单）回路的spanning tree：生成树，支撑树Prim’s algorithm：Prim算法minimal spanning tree：最小生成树weighted graph：（赋）权图weight：树distance：距离nearest neighbor：最邻近结点greedy algorithm：贪婪算法optimal solution：最佳方法Kruskal’s algorithm：Kruskal算法graph：(无向)图vertex(vertices)：结点edge：边end point：端点relationship：关系connection：连接degree of a vertex：结点的度loop：自回路path：路径isolated vertex：孤立结点adjacent vertices：邻接结点circuit：回路simple path(circuit)：基本路径(回路) connected：连通的disconnected：不连通的component：分图discrete graph(null graph)：零图complete graph：完全图regular graph：正规图，正则图linear graph：线性图subgraph：子图Euler path(circuit)：欧拉路径(回路) Konisberg Bridge problem：哥尼斯堡七桥问题ordinance：法规recycle：回收，再循环bridge：桥，割边Hamiltonian path(circuit)：哈密尔顿路径(回路)dodecahedron：正十二面体weight：权TSP(traveling salesperson problem)：货郎担问题transport network：运输网络capacity：容量maximum flow：最大流source：源sink：汇conversation of flow：流的守恒value of a flow：流的值excess capacity：增值容量cut：割the capacity of a cut：割的容量matching problems：匹配问题matching function：匹配函数compatible with：与…相容maximal match：最大匹配complete match：完全匹配coloring graphs：图的着色proper coloring：正规着色chromatic number of G：G的色数map-coloring problem：地图着色问题conjecture：猜想planar graph：(可)平面图bland meats：未加调料的肉chromatic polynomial：着色多项式binary operation on a set A：集合A上的二元运算closed under the operation：运算对…是封闭的commutative：可交换的associative：可结合的idempotent：幂等的distributive：可分配的semigroup：半群product：积free semigroup generated by A：由A生成的自由半群identity(element)：么（单位）元monoid：含么半群，独异点subsemigroup：子半群submonoid：子含么半群isomorphism：同构homomorphism：同态homomorphic image：同态像Kernel：同态核congruence relation：同余关系natural homomorphism：自然同态group：群inverse：逆元quotient group：商群Abelian group：交换（阿贝尔）群cancellation property：消去律multiplication table：运算表finite group：有限（阶）群order of a group：群的阶symmetric group：对称群subgroup：子群alternating group：交替群Klein 4 group：Klein四元群coset：陪集(left) right coset：(左)右陪集normal subgroup：正规(不变)子群prerequisite：预备知识virtually：几乎informal brand：不严格的那种notation：标记sensible：有意义的logician：逻辑学家extensively：广泛地，全面地commuter：经常往来于两地的人by convention：按常规，按惯例dimension：维(数) compatible：相容的discipline：学科reasoning：推理declarative sentence：陈述句n-tuple：n-元组component sentence：分句tacitly：默认generic element：任一元素algorithm verification：算法证明counting：计数factorial：阶乘combination：组合pigeonhole principle：鸽巢原理existence proof：存在性证明constructive proof：构造性证明category：类别，分类factor：因子consecutively：相继地probability(theory)：概率(论) die：骰子probabilistic：概率性的sample space：样本空间event：事件certain event：必然事件impossible event：不可能事件mutually exclusive：互斥的，不相交的likelihood：可能性frequency of occurrence：出现次数(频率) summarize：总结，概括plausible：似乎可能的equally likely：等可能的，等概率的random selection(choose an object at random)：随机选择terminology：术语expected value：期望值backtracking：回溯characteristic equation：特征方程linear homogeneous relation of degree k：k阶线性齐次关系binary relation：二元关系prescribe：命令，规定coordinate：坐标criteria：标准，准则gender：性别graduate school：研究生院generalize：推广notion：概念intuitively：直觉地verbally：用言语approach：方法，方式conversely：相反地pictorially：以图形方式restriction：限制direct flight：直飞航班tedious：冗长乏味的main diagonal：主对角线remainder：余数random access：随机访问sequential access：顺序访问custom：惯例polynomial：多项式substitution：替换multi-valued function：多值函数collision：冲突analysis of algorithm：算法分析sophisticated：复杂的set inclusion(containment)：集合包含distinguish：区分analogous：类似的ordered triple：有序三元组recreational area：游乐场所multigraph：多重图pumping station：抽水站depot：货站，仓库relay station：转送站。