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

中文	外文
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 正则范式)	-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 morphism
单态射	monomorphism
单元半群	monoid
导出子图	induced subgraph
多重图	multigraph
多项式	polynomail
多项式码	polynomial code
多项式表示法	polynomial representation
多项式环	polynomial ring
多值命题逻辑	many valued proposition logic
多项式系数	multinomial coefficient
多项式展开定理	multinomial expansion theorem
对象	object
定向	orientation
单扩域	simple extension
单代数扩域	simple algebraic extension
单超越扩域	simple transcental extension
代入定理	substitution theorem
对称的	symmetric
对称差	symmetric difference
对称图	symmetric graph
对称群	symmetric group
对角线函子	diagonal functor
定理	theorem (provable formal)
单位理想	unit ideal
单元	unity element
点覆盖	vertex cover
点割集	vertex set
点传递图	vertex transitive graph
带权形式的Burnside引理	weighted form for Burnside lemma
带符号的一阶系统	first order theory with equality
Euler 闭迹	Euler tour
Euler 多面体公式	Euler polyhedron formula
Euler 函数	Euler function
Euler 迹	Euler trail
Euler 数	Euler number
Euler 图	Euler graph
Euler 特征	Euler characteristic
二元关系	binary relation
二进制对称信道	binary symmetric channel
二项式系数	binomial coefficient
二项式定理	binomial theorem
二项式变换	binomial transform
二分图	bipartite graph
二难推理	dilemma
Ferrers图	Ferrers graph
Fibonacci 数	Fibonacci number
F-归纳积	F-reduced product
反演	inversion
分离规则	modus ponens
否定后件式	modus tollens
非结合代数	non-associative algebra
分裂域	splitting field
非特指值	undesignated truth value
泛圈图	pancycle graph
泛代数（   代数）	universal algebra
泛上界	universal upper bound
废码字	useless code
赋值	valuation
仿射平面	affine plane
反同构	anti-isomorphism
反对称性	anti symmetry
辅助符号	auxiliary symbol
分组码	block code
范畴	category
复合	composite
复合运算	composite operation
复合（分子）命题	composition (molecular proposition)
覆盖	covering
覆盖数	covering number
分配格	distributive lattice
反变函子	contravariant functor
非标准逻辑	non-standard logic
Galileo 悖论	Galileo paradox
Gauss 系数	Gauss coefficient
GBN系统	GBN (Gödel-Bernays-von Neumann system)
Gödel 完全性定理	Gödel completeness theorem
Grelling 悖论	Grelling paradox
Grötzsch 图	Grötzsch graph
广义 petersen 图	generalized petersen graph
关联	incident
关联公理	incident axiom
关联矩阵	incident matrix
个体变元	individual variable
格	lattice
格同态	lattice homomorphism
规律	law
轨道	orbit
鸽子笼原理	pigeonhole principle
根域	root field
公理系统 L	system L
公理系统 L1	system L1
公理系统 L2	system L2
公理系统 L3	system L3
公理系统 L4	system L4
公理系统 L5	system L5
公理系统 L6	system L6
公理系统 Ł	system Ł
公理系统 Łn	system Łn
公理系统 S1	system S1
公理系统 T(系统M)	system T (system M)
关于公式Ф的替换公式	axiom of replacement for the formula Ф
古典完全的	classical completeness
古典相容的	classical consistent
公因子	common factor
割边	cut edge
割点	cut vertex
广义 Fibonacci 数	extended Fibonacci number
广义Lucas 数	extended Lucas number
Hajós 猜想	Hajós conjecture
Hamilton 圈	Hamilton cycle
Hamilton 图	Hamilton graph
Hamilton 路	Hamilton path
Harary 图	Harary graph
Hasse 图	Hasse graph
Heawood 图	Heawood graph
Herschel 图	Herschel graph
hom 函子	hom functor
(共变)函子	covariant functor
核	kernel
环	loop
后件	succedent
横截设计	tranverse design
合式公式(wff)	well-formed formula (wff)
幻方	magic
厚度	thickess
弧集	arc set
回路	circuit
黄金分割数（黄金分割率）	golden section number
恒等自然变换	identity natural transformation
互素	prime to each other
环的特征	characteristic of ring
Jordan  代数	Jordan algebra
Jordan 乘积	Jordan product (anti-commutator)
Jordan 筛法公式	Jordan sieve formula
j-斜元	j-skew
极大元	maximal element
极大理想	maximal ideal
极大外平面图	maximal outerplanar graph
极大平面图	maximal planar graph
极大项（基本析取式）	maxterm
极大项范式（合取范式）	maxterm normal form (conjunctive normal form)
极小项	mini term
极小多项式	minimal polynomial
极小    -连通图	minimal   -connected graph
极小项（基本合取式）	minterm (fundamental conjunctive form)
极小项范式（析取范式）	minterm normal form (disjunctive normal form)
交	meet
纠多错码	multiple-error-correcting code
纠  t -错BCH码	t-error-correcing BCH code
阶	order
阶理想	order ideal
集合的划分数	partition number of set
积	product
积范畴	product category
积和式	product-sum form
简单图	simple graph
简单（原子）命题	simple proposition (atomic proposition)
简化规则	simplication
截口	section
竞赛图	tournament
迹	trace (trail)
解释真	true in an interpretation
基础图	underlying graph
价	valence
加法原理	addition principle
接合	adjunction
几乎相等的	almost equivalent
结合代数	associative algebra
结合子	associator
加强的鸽子笼原理	augmenting digeon hole principle
基	base
基数	cardinal number
校验位	check digits
纠正错误	correct error
检验错误	detect errer
计数函数	enumeration function
假言三段论	hypothelical syllogism
假设	hypothese (premise)
交集	intersection
交运算	intersection operation
交换图	commutative diagram
交换环	commutative ring
交换半群	commutative seimgroup
校验子	syndrome
Kirkman 女生问题	Kirkman schoolgirl problem
Kuratowski 定理	Kuratowski theorem
k-色图	k-chromatic graph
k-连通图	k-connected graph
k-色临界图	k-critical graph
k-边色图	k-edge chromatic graph
k-边连通图	k-edge-connected graph
k-边临界图	k-edge-critical graph
可增路	augmenting path
空集存在公理	axiom of the empty set
块	block
块图（区组）	block
可重组合	combination with repetation
可列无限集（可列集）	countably infinite set
空图	empty graph
空关系	empty relation
空集	empty set
扩充（扩张）	extension
扩图	extension graph
扩域	extension field
可因子化的	factorable
亏格	genus
可重排列	permutation with repetation
（可）平面图	planar graph
可能世界	possible world
可表示函子	representation functor
可满足的	satisfiable
可分元	separable element
可分扩域	separable extension
可靠性（有效性）定理	soundness (validity) theorem
开关网络	switching-network
可达关系	accessibility relation
Lah 数	Lah number
Latin 方	Latin square
Latin 矩形	Latin rectangle
Lie 代数	Lie algebra
Lucas 数	Lucas number
联结词的功能完备（全）集	adequate set of connectives
邻接矩阵	adjacent matrix
邻接运算	concatenation (juxtaposition)
零化子	annihilator
理发师悖论	barber paradox
笼	cage
类	class
连通图	concatenation graph
连通度	connectivity
连接的	connective
连通分支	connected component
连续统	continuum
离散 Fourier 变换	discrete Fourier transform
离心率	eccentricity
滤子	filter
理想	ideal
邻集	neighbour set
邻接乘法	juxtaposition
逻辑等价	logically equivanlent
逻辑蕴涵	logically implies
逻辑有效的（普效的）	logically valid
零对象	null object
零元运算	nullary operation
路	path
拉回	pullback
量词	quantifier
量词理论	quantification theory
旅行商问题	traveling saleman problem
零因子	zero divison
零元（泛下界）	zero element (universal lower bound)
McGee 图	McGee graph
Menger 定理	Menger theorem
Meredith 图	Meredith graph
Minimanoff 悖论	Minimanoff paradox
Minkowski 和	Minkowski sum
Möbius 变换（反演）	Möbius transform (inversion)
Möbius 函数	Möbius function
Möbius 梯	Möbius ladder
码	code
码元	code element
码长	code length
码率	code rate
码字	code word
矛盾式（永假式）	contradiction
满态射	epimorphism
面	face
模型	model
模同态	module homomorphism
幂函子	power functor
幂集	power set
命题	proposition
命题常量	propositional constant
命题变量	propositional variable
命题形式（合式公式）	propositional formula (well-formed formula,wff)
命题函数	propositional function
满射	surjection (surjective)
模态逻辑	modal logic
模态命题逻辑系统	system of modal prepositional logic
Norlund 公式	Norlund formula
内面	inner face
内（入）邻集	inner neighbour set
内直和	internal direct sum
n-元运算	n-ary operation
n-元积	n-ary product
n-元关系	n-relation
扭元	torsion
扭模	torsion module
逆向极限	inverse limit
逆态射	inverse morphism
逆自然变换	inverse natural transformation
逆运算	inverse operation
逆关系	inverse relation
Ore 条件	Ore condition
欧几里德算法	Euclid algorithm
欧氏整环	Euclid domain
p- 图	p-graph
Pascal 公式	Pascal formula
Petersen 图	Petersen graph
Pierce 箭	Pierce arrow
Pólya 定理	Pólya theorem
配对公式	axiom of pairs
平衡不完全区组设计	balanced imcomplete block design
陪集	cuset
陪集头	leader cuset
判决过程	decision procedure
匹配	matching
平行	parallelism
平行类	parallelism class
偏函数	partial function
偏序关系	partial ordering (partial relation)
排列（置换）	permutation
平面图	plane graph
谱半径	spetral radius
平凡图	trivial graph
平凡子群	trivial subgroup
前件	antecedent
区组设计	block design
桥	bridge
圈	cycle
圈基	cycle basis
圈秩	cycle rank
圈矩阵	cycle matrix
圈空间	cycle space
圈向量	cycle vector
确定的	deterministic
距离	distance
距离传递图	distance transitive graph
群	group
群码	group code
嵌入	imbedding
区间	interval
矩阵表示	matrix representation
奇偶校验码	parity-check code
奇偶校验方程	parity-check equation
奇偶校验器	parity-check machine
奇偶校验矩阵	parity-check matrix
前束范式	prenex normal form
全色数	total chromatic number
全色数猜想	total chromatic number conjecture
全着色	total coloring
全图	total graph
全方阵环	total matrix ring
全序集	total order set
全排列	total permutation
全关系	total relation
全集	universal
全称闭包	universal closure
全称量词	universal quantifier
全称推广规则	universal generalization
全称特指规则	universal specification
Ramsey 图	Ramsey graph
Ramsey 数	Ramsey number
Ramsey 定理	Ramsey theorem
Richard 悖论	Richard paradox
Russell 悖论	Russell paradox
R-线性无关	R-linear independence
弱反对称的	weakly antisymmetric
入次（入度）	indegree
Sheffer 竖（谢弗竖）	Sheffer stroke
Steiner 三元系大集	Steiner triple
Socrates 论断（苏格拉底论断）	Socrates argument
Stirling 变换	Stirling transform
Stirling 数	Stirling number
Sylvester公式	Sylvester formula
三次交代群	alternating group
双射	bijective
双模	bi-mdule
色数	chromatic number
系数	coefficient
上象	coimage
上核	co-kernal
上积	coproduct
森林	forest
四色定理（猜想）	four-color theorem(conjecture)
生成函数	generating function
生成过程	generating procedure
生成子（生成元）	generator
生成矩阵	generator matrix
上确界（最小上界）	least upper bound
数学结构	mathematical structure
素域	prime field
四元数	quaternion
商代数	quotient algebra
商（差）代数	quotient (difference) algebra
商域（分式域）	quotient field (field of fraction)
商群	quotient group
商模	quotient module
商环（差环，同余类环）	quotient ring (difference ring , residue ring)
商集	quotient set
受限命题形式	restricted proposition form
收缩	retraction
生成子图	spanning subgraph
生成树	spanning tree
时间序列	timed sequence
树	tree
三元系	triple system
三倍重复码	triple-repetition code
上（下）界	upper (lower) bound
始端	initial endpoint
矢列式	sequent
系统 Ł3 , Łn , Łא0 , Łא	system  Ł3 , Łn , Łא0 , Łא
系统 Pm	system Pm
三值命题逻辑	3-value proposition logic
Turán 图	Turán graph
Turán 定理	Turán theorem
Tutte 图	Tutte graph
Tutte 定理	Tutte theorem
Tutte-coxeter 图	Tutte-coxeter graph
图的自同构群	automorphism group of graph
图的笛卡儿积	Cartesion product of graph
图的闭包	closure of graph
特征函数	characteristic function
特征多项式	characteristic polynomial
图的收缩	contraction of graph
团	clique
团数	clique number
图的合成（字典积）	composition of graph (lexicographic product)
同余关系	congruence relation
推论（后承）	consequence
图的叉数	crossing number of graph
特指真值	designated truth value
特异元	distinguished element
图的特征值	eigenvalue of graph
图的群	group of graph
图	graph
图的同胚	homemorphism
图的同态	homomorphism of graph
图的同构	isomorphism of graph
图的交	intersection of graph
图的联	join of graph
图的线群	line- group
同态（同态映射）	homomorphism
同构范畴	isomorphic category
同构态射	isomorphism
态射（箭）	morphism (arrow)
图的幂	power of graph
推出	pushout
替换定理	replacement theorem
推理规则	rule of inference
图的谱	spectra of graph
图的细分	subdivison of graph
图的并	union of graph
通用结构	universal construction
通用包络代数	universal enveloping algebra
通道	walk
图秩	graph rank
图序列	graph sequence
Ulam 猜想	Ulam conjecture
Vandermonde 公式	Vandermonde formula
Venn 图	Venn graph
Vizing 定理	Vizing theorem
外延公式	axiom of extensionality
无穷公理	axiom of infinity
完全二分图	complete bipartite graph
完全k-分图	complete k-partite graph
完全图	complete graph
完全格	complete lattice
微分代数	derivation algebra
外代数	exterior algebra
忘却函子	forgetful functor
（腰）围长	girth
无限扩域	infinite extension
无限群	infinite group
无限（穷）集	infinite set
外面	outer face
外（出）邻集	outer neighbour
外平面图	outerplanar graph
完全码	perfect code
完美图	perfect graph
谓词	predicate
无向图	undirected graph
唯一分解	unique factorization
唯一分解整域	unique factorization domain (Gauss domain)
唯一k着色	unique k-colorable graph
无标号图	unlabeled graph
无扭模	untorsion
五色定理	five-color theorem
五倍重复码	five-time-repetition
相邻（邻接）	adjacent
相伴元	associate
选择公里	axiom of choice
相等公里	axiom of equality
循环图	circulant graph
循环（轮转）指标	cyclic index
循环群	cyclic group
循环半群	cyclic semigroup
循环单元半群	cyclic monoid
优美图	graceful graph
优美树猜想	graceful tree conjecture
有标号图	labeled graph
拟序集	pre-ordered set
拟序关系	quasi order relation
冗余性原则	principal of redundancy
冗余位	redundant digits
右伴随函子	right adjoint functor
右可消的	right cancellable
右因子	right factor
右零因子	right zero divison
有单元的环	ring with unity element
语义完全的（弱完全的）	semantical completeness
语义相容	semantical consistent
语法完全的（强完全的）	syntactical completeness
语法相容	Syntactical consistent
一元运算	unary operation
一元关系	unary relation
余秩	corank
ZFC系统	ZFC (Zermelo-Fraenkel-Cohen) system
作用	action
自同构	automorphism
正则公理	axiom of regularity
中心	center
中国邮递员问题	Chinese postman problem
周长	circumference
着色	coloring
着色问题	coloring problem
组合数	combination number
正则合取范式	conjunctive normal form
直径	diameter
直接推论（直接后承）	direct consequence
正向极限	direct limit
直和	direct sum
正则析取范式	disjunctive normal form
整除	divisibility
子除环	division subring
忠实（完满）函子	faithful (full) functor
自由元	free element
自由单元半群	free monoid
自由出现	free occurrence
自由变元	free variable
自由Ω代数	free-Ω-algebra
自由R-模	free R-module
最大公因子	greatest common factor
最大元（素）	greatest element
直接先行	immediate predcessor
直接后继	immediate successor
指数	index
初始对象	initial object
整环	integral domain
子整环	integral subdomain
最小元	least element
左伴随函子	left adjoint functor
左可消的	left cancellable
左陪集	left coset
左（右）模	left (right) module
左（右）零元	left (right) zero
左（右）单位元	left (right) identity
左（右）可逆元	left (right) invertible element
左（右）零因子	left (right) zero divisor
最大匹配	maximum matching
最小距离	minimum distance
自然同构	natural isomorphism
自然推理系统	natural deduction system
自然变换	natural transformation
状态转移函数	next state transition function
正规形	normal form
正规子群（不变子群）	normal subgroup (invariant subgroup)
正交拉丁方	orthogonal Latin square
正交表	orthogonal layout
整数的分拆数	partition number of integer
置换群	permutation group
准素循环模	primary cycle module
主理想	principal ideal
主理想整环	principal ideal domain
证明（演绎）	proof (deduction)
正常着色	proper coloring
真正因子	proper factor
真滤子	proper filter
真子群	proper subgroup
真包含关系	properly inclusive relation
重构猜想	reconstruction conjecture
自反的	reflexive
正则图	regular graph
正则表示	regular representation
值域	range
秩	rank
自同态	endomorphism
自同态环	ring of endomorphism
自补图	self-complement graph
最小元（素）	smallest element
子代数	subalgebra
子范畴	subcategory
子图	subgraph
子直积	subdirect product
子域	subfield
子群	subgroup
子公式	subformula
子模	sub-module
子关系	subrelation
子环	subring
子半群	sub-semigroup
子集	subset
重言式（永真公式）	tautology
真值表	truth table
真值函数	truth value function
真值表技术	technique of truth table
终端	terminal endpoint
终结对象	terminal object
重（权）	weight
字	word