0.6.离散数学

离散数学：集合论、图论、代数系统、数理逻辑

常用联结词：等价，否定，合取/且，析取/或，蕴涵p→q，

合取：并且的关系，析取：或的关系

集合：由离散个体构成的整体的称为集合，称这些个体为集合的元素。

集合性质：无序性、相异性、确定性、任意性

集合的势：用来度量集合规模的大小

幂集：集合的全体子集构成的集合叫做幂集。

笛卡尔积：设有两个集合 A 与 B，用 A与 B 中的元素组成有序偶，以 A 的元素作为有序偶的第一个分量，以 B 的元素作为有序偶的第二个分量，用这种方式所组成的有序偶的全体构成一个集合

二元关系：一个集合是空集或者元素都是有序偶

等价关系：非空集合A上的一个关系是自反的、对称的和传递的

偏序关系：集合内只有部分元素之间在这个关系下是可以比较的。如果 R是自反的、反对称的和传递的，记作⩽

全序关系：集合内任何一对元素在在这个关系下都是相互可比较的。

逆序关系：如果 R是反自反的、反对称的和传递的

闭包 ：最小数目的有序偶，是自反、对称、传递

单射：只能一对一，不能多对一

满射：只要Y中的元素在X中都能找到原像即可

双射：Y中的元素在X中都能找到原像且是一对一的关系

图的同构：两个图存在某种映射

欧拉回路：经过图中每条边一次且仅一次的回路；

哈密顿回路：经过图中每个节点一次且仅一次的回路；

半群：在一个代数系统中，二元运算是可结合的。存在运算的单位元称之为读独异点

群：是封闭的可结合的，有零元逆元