离散数学中英对照表

本文由Hobee原创，并仅在本站发表，仅供各位小伙伴学习交流使用。

为避免不必要的纠纷，本文禁止以任何形式转载，谢谢配合。

如有问题请通过评论区或邮件联系作者。

本文封面源于网络，侵删。

写在前面

众所周之，hobee在数学的学习方面就宛如一只菜鸡，只好通过不断复习和整理的途径来巩固自己辣鸡的数学成绩。主要是我真的什么也不会了啊（哭哭脸…那就从这里开始吧！

因为考核是候题目是英文的，所以我的整理也就用英文来叭（我也不想啊…

中英术语对照表

为了防止之后我自己都看不明白，在梳理知识点之前我先写一份中英术语对照表好了。

命题与逻辑

English	Chinese	English	Chinese	English	Chinese
Proposition	命题	Propositional variable	命题变量	Truth value	真值
Negation	否定	Logical operators	逻辑运算符	Compound proposition	复合命题
Truth table	真值表	Disjunction	析取	Conjunction	合取
Exclusive or	异或	Implication	蕴含	Converse	逆
Contrapositive	逆否	Inverse	反	Biconditional	双蕴含
Tautology	永真式	Contingency	可能	Logically equivalent	逻辑等价
Predicate	谓词	Propositional function	命题函数	Domain of discourse	论域
Existential quantifier	存在量词	Universal quantifier	全称量词	Free variable	自由变元
Bound variable	约束变量	Scope of a quantifier	量词的作用域	Argument	参数
Argument form	参数形式	Premise	条件	Conclusion	结论
Valid argument form	合法参数形式	Rule of inference	推理规则	Fallacy	谬误

集合与关系

English	Chinese	English	Chinese	English	Chinese
Set	集合	element	元素	member of a set	集合的成员
Roster method	枚举	set builder notation	集合生成公式	empty set	空集
Universal set	全集	Venn diagram	VN图	set equality	集合等价
Subset	子集	proper subset	真子集	finite set	有限集
Infinite set	无限集	cardinality	势	power set	幂集
Union	并集	Intersection	交集	difference	差
Complement	补集	Symmetric difference	对称差	membership table	成员表
Function	函数	domain	值域	codomain	陪域
Image	像	preimage	原像	range	值域
Onto	满射	One-to-one	单射	Surgection
Injection	单射	Bijection	双射	Inverse	否
Composition	复合函数	floor	下取整	ceiling	上取整
sequence	序列	Geometric progression	几何级数	arithmetic progression	算术级数
recurrence relation	递推关系	Countable set	可数集	Uncountable set	不可数集
alpha null	阿里夫零	Binary relation from A to B	二元关系	relation on A	集合A上的关系
Reflexive	自反性	symmetric	对称性	antisymmetric	反对称性
transitive	传递性	n-ary relation	n元关系	relational data model	关系数据模型
primary key	主键	composite key	复合主键	selection operator	选择运算符
projection	投影	join	并	digraph
loop	环	closure of a relation R with respect to property	关系R的闭包	connective relation
Path	路径	circuit	圈	$R^\star$
equivalence relation	等价关系	equivalent class	等价类	partition	划分
Partial ordering	偏序	poset	偏序集合	comparable	可比
total ordering	全序	well-ordered set	良序集	hasse diagram	哈斯图
maximal element	最大元素	minimal element	最小元素	greatest element	极大元素
least element	极小元素	upper bound	上界	lower bound	下界

图与树

English	Chinese	English	Chinese	English	Chinese
Graph	图	vertex/node	顶点	edge	边
Directed graph	有向图	directed edge/arc	有向边	multiple edges	多重边
loop	环	simple graph	简单图	multigraph	多重图
pseudograph	伪图	directed multigraph	多重有向图	mixed graph	混合图
adjacent	邻接	incident	关联	degree	度
in-degree deg-	入度	out-degree deg+	出度	complete graph $K_N$	完全图
Bipartite graph	二分图	complete bipartite graph	完全二分图	Subgraph	子图
union of two graphs	两图的并	adjacency matrix	邻接矩阵	incidence matrix	关联矩阵
graph isomorphism	图的同构	graph invariant	图的同构不变量	simple path	简单路径
simple circuit	简单环	connected graph	连通图	connected component	连通分量
vertex connectivity	顶点联通性	edge connectivity	边联通性	strongly/weakly connected directed graph	强/弱连通有向图
strongly/weakly connected component of a directed graph	有向图的强/弱连通分量	polish notation	波兰式	reverse polish notation	逆波兰式
tree	树	forest	森林	rooted tree	根树
subtree	子树	parent of $v$	$v$的双亲	child of $v$	$v$的孩子
sibling of $v$	$v$的兄弟姐妹	ancestor of $v$	$v$的祖先	descendant of $v$	$v$的后代
internal vertex	内顶点	leaf	叶子节点	level of a vertex	节点的层次
height of a tree	树的高度	m-ary tree	m叉树	full m-ary tree	完全m叉树
binary tree	二叉树	ordered tree	排序树	balanced tree	平衡树
binary search tree	二叉搜索树	decision tree	决策树	tree traversal	树的遍历
preorder traversal	前序遍历	inorder traversal	中序遍历	postorder traversal	后序遍历
infix notation	中序表达式	prefix notation	前序表达式	postfix notation	后序表达式