离散数学中英文名词对照表

离散数学中英文名词对照表外文中文AAbelcategoryAbel范畴Abelgroup(commutativegroup)Abel群(交换群)AbelsemigroupAbel半群accessibilityrelation可达关系action作用additionprinciple加法原理adequatesetofconnectives联结词的功能完备（全）集adjacent相邻（邻接）adjacentmatrix邻接矩阵adjugate伴随adjunction接合affineplane仿射平面algebraicclosedfield代数闭域algebraicelement代数元素algebraicextension代数扩域（代数扩张）almostequivalent几乎相等的alternatinggroup三次交代群annihilator零化子antecedent前件antisymmetry反对称性anti-isomorphism反同构arboricity荫度arcset弧集arity元数arrangementproblem布置问题associate相伴元associativealgebra结合代数associator结合子asymmetric不对称的(非对称的)atom原子atomicformula原子公式augmentingdigeonholeprinciple加强的鸽子笼原理augmentingpath可增路automorphism自同构automorphismgroupofgraph图的自同构群auxiliarysymbol辅助符号axiomofchoice选择公理axiomofequality相等公理axiomofextensionality外延公式axiomofinfinity无穷公理axiomofpairs配对公理axiomofregularity正则公理axiomofreplacementfortheformulaФ关于公式Ф的替换公式axiomoftheemptyset空集存在公理axiomofunion并集公理Bbalancedimcompleteblockdesign平衡不完全区组设计barberparadox理发师悖论base基BellnumberBell数BernoullinumberBernoulli数BerryparadoxBerry悖论bijective双射bi-mdule双模binaryrelation二元关系binarysymmetricchannel二进制对称信道binomialcoefficient二项式系数binomialtheorem二项式定理binomialtransform二项式变换bipartitegraph二分图block块block块图（区组）blockcode分组码blockdesign区组设计BondytheoremBondy定理BoolealgebraBoole代数BoolefunctionBoole函数BoolehomomorophismBoole同态BoolelatticeBoole格boundoccurrence约束出现boundvariable约束变量boundedlattice有界格bridge桥BruijntheoremBruijn定理Burali-FortiparadoxBurali-Forti悖论BurnsidelemmaBurnside引理Ccage笼canonicalepimorphism标准满态射CantorconjectureCantor猜想CantordiagonalmethodCantor对角线法CantorparadoxCantor悖论cardinalnumber基数Cartesionproductofgraph图的笛卡儿积CatalannumberCatalan数category范畴CayleygraphCayley图CayleytheoremCayley定理center中心characteristicfunction特征函数characteristicofring环的特征characteristicpolynomial特征多项式checkdigits校验位Chinesepostmanproblem中国邮递员问题chromaticnumber色数chromaticpolynomial色多项式circuit回路circulantgraph循环图circumference周长class类classicalcompleteness古典完全的classicalconsistent古典相容的clique团cliquenumber团数closedterm闭项closure闭包closureofgraph图的闭包code码codeelement码元codelength码长coderate码率codeword码字coefficient系数coimage上象co-kernal上核coloring着色coloringproblem着色问题combinationnumber组合数combinationwithrepetation可重组合commonfactor公因子commutativediagram交换图commutativering交换环commutativeseimgroup交换半群complement补图(子图的余)complementelement补元complementedlattice有补格completebipartitegraph完全二分图completegraph完全图completek-partitegraph完全k-分图completelattice完全格composite复合compositeoperation复合运算composition(molecularproposition)复合（分子）命题compositionofgraph(lexicographicproduct)图的合成（字典积）concatenation(juxtaposition)邻接运算concatenationgraph连通图congruencerelation同余关系conjunctivenormalform正则合取范式connectedcomponent连通分支connective连接的connectivity连通度consequence推论（后承）consistent(non-contradiction)相容性（无矛盾性）continuum连续统contractionofgraph图的收缩contradiction矛盾式（永假式）contravariantfunctor反变函子coproduct上积corank余秩correcterror纠正错误correspondinguniversalmap对应的通用映射countablyinfiniteset可列无限集（可列集）covariantfunctor(共变)函子covering覆盖coveringnumber覆盖数CoxetergraphCoxeter图crossingnumberofgraph图的叉数cuset陪集cotree余树cutedge割边cutvertex割点cycle圈cyclebasis圈基cyclematrix圈矩阵cyclerank圈秩cyclespace圈空间cyclevector圈向量cyclicgroup循环群cyclicindex循环（轮转）指标cyclicmonoid循环单元半群cyclicpermutation圆圈排列cyclicsemigroup循环半群DDeMorganlawDeMorgan律decisionprocedure判决过程decodingtable译码表deductiontheorem演绎定理degree次数,次(度)degreesequence次(度)序列derivationalgebra微分代数DescartesproductDescartes积designatedtruthvalue特指真值detecterrer检验错误deterministic确定的diagonalfunctor对角线函子diameter直径digraph有向图dilemma二难推理directconsequence直接推论（直接后承）directlimit正向极限directsum直和directedbyinclution被包含关系定向discreteFouriertransform离散Fourier变换disjunctivenormalform正则析取范式disjunctivesyllogism选言三段论distance距离distancetransitivegraph距离传递图distinguishedelement特异元distributivelattice分配格divisibility整除divisionsubring子除环divisonring除环divisor(factor)因子domain定义域DriacconditionDirac条件dualcategory对偶范畴dualform对偶式dualgraph对偶图dualprinciple对偶原则(对偶原理)dualstatement对偶命题dummyvariable哑变量（哑变元）Eeccentricity离心率edgechromaticnumber边色数edgecoloring边着色edgeconnectivity边连通度edgecovering边覆盖edgecoveringnumber边覆盖数edgecut边割集edgeset边集edge-independencenumber边独立数eigenvalueofgraph图的特征值elementarydivisorideal初等因子理想elementaryproduct初等积elementarysum初等和emptygraph空图emptyrelation空关系emptyset空集endomorphism自同态endpoint端点enumerationfunction计数函数epimorphism满态射equipotent等势equivalentcategory等价范畴equivalentclass等价类equivalentmatrix等价矩阵equivalentobject等价对象equivalentrelation等价关系errorfunction错误函数errorpattern错误模式Euclidalgorithm欧几里德算法Eucliddomain欧氏整环EulercharacteristicEuler特征EulerfunctionEuler函数EulergraphEuler图EulernumberEuler数EulerpolyhedronformulaEuler多面体公式EulertourEuler闭迹EulertrailEuler迹existentialgeneralization存在推广规则existentialquantifier存在量词existentialspecification存在特指规则extendedFibonaccinumber广义Fibonacci数extendedLucasnumber广义Lucas数extension扩充（扩张）extensionfield扩域extensiongraph扩图exterioralgebra外代数Fface面factor因子factorable可因子化的factorization因子分解faithful(full)functor忠实（完满）函子FerrersgraphFerrers图FibonaccinumberFibonacci数field域filter滤子finiteextension有限扩域finitefield(Galoisfield)有限域（Galois域）finitedimensionalassociativedivisionalgebra有限维结合可除代数finites