离散数学中文—外文名词对照表

离散数学中文—外文名词对照表
中文	外文
Abel  范畴	Abel category
Abel  群(交换群)	Abel group (commutative group)
Abel  半群	Abel semigroup
Bell  数	Bell number
Berry 悖论	Berry paradox
Boundy 定理	Boundy theorem
Boole 代数	Boole algebra
Boole 函数	Boole function
Boole 同态	Boole homomorophism
Boole 格	Boole lattice
Bruijn 定理	Bruijn theorem
Burali-Forti 悖论	Burali-Forti paradox
Burnside 引理	Burnside lemma
伴随	adjugate
布置问题	arrangement problem
不对称的(非对称的)	asymmetric
并集公理	axiom of union
标准满态射	canonical epimorphism
闭项	closed term
闭包	closure
补图(子图的余)	complement
补元	complement element
被包含关系定向	directed by inclution
边色数	edge chromatic number
边着色	edge coloring
边连通度	edge connectivity
边覆盖	edge covering
边覆盖数	edge covering number
边割集	edge cut
边集	edge set
边独立数	edge-independence number
不动点	fixed point
包含与排斥原理	inclusion and exclusion principle
包含关系	inclusion relation
不变因子	invariant factor
不变因子理想	invariant factor ideal
标准模型	normal model
本原元	primitive element
本原多项式	primitive polynomial
表示	representation
饱和的	saturated
半群	semigroup
标准单项式	standard monomil
并(并集)	union
并运算	union operation
变换群	tranformation group
Cantor 悖论	Cantor paradox
Cantor 猜想	Cantor conjecture
Cantor 对角线法	Cantor diagonal method
Catalan 数	Catalan number
Cayley 图	Cayley graph
Cayley 定理	Cayley theorem
Coxeter 图	Coxeter graph
次数,次(度)	degree
次(度)序列	degree sequence
初等因子理想	elementary divisor ideal
初等积	elementary product
初等和	elementary sum
错误函数	error function
错误模式	error pattern
存在量词	existential quantifier
存在推广规则	existential generalization
存在特指规则	existential specification
超八面体图	hyperoctahedron
长度	length
乘法原理	multiplication principle
出弧	outarc
出次(出度)	outdegree
出(外)邻集	outerneighbour set
初始联结词	primitive connective
差集	substraction
差运算	substraction operation
传递的	transitive
超滤子	ultrafilter
超幂	ultrapower
超积	ultraproduct
超越元素	transcendental element
常用等值式	useful equivalent
簇	variery
除环	divison ring
存在正则前束范式 (Skolem 正则范式)	Bitmap        -prenex normal form         (Skolem normal form)
De Morgan律	De Morgan law
Descartes 积	Descartes product
Dirac 条件	Driac condition
代数闭域	algebraic closed field
代数元素	algebraic element
代数扩域（代数扩张）	algebraic extension
对应的通用映射	corresponding universal map
定义域	domain
对偶范畴	dual category
对偶图	dual graph
对偶式	dual form
对偶原理	principal of duality
对偶原则	dual principle
对偶命题	dual statement
端点	endpoint
等势	equipotent
等价类	equivalent class
等价范畴	equivalent category
等价矩阵	equivalent matrix
等价对象	equivalent object
等价关系	equivalent relation
第一类边色图	graph of first class for edge coloring
第二类边色图	graph of second class for edge coloring
单位元	identity
单射	injection
单射函子	injection functor
单射（内射）	injective (one to one mapping)
独立的	independent
独立数	independent number
独立集	independent set
独立超越元素	independent transcendental element
单同态	monic morph