离散数学 研究 不连续 的数学对象——逻辑、集合、关系、图、代数结构。它是 计算机科学的数学语言：
- 命题逻辑 → 电路设计 / 形式验证。
- 集合 / 关系 → 数据库理论。
- 图论 → 网络、算法、数据结构。
- 代数结构 → 编码理论、密码学。
- 数理逻辑：命题与谓词逻辑、真值表、范式、推理规则。
- 集合与关系：幂集、笛卡尔积、关系性质、等价关系、偏序。
- 图论：度、连通、树、欧拉图、哈密顿图、着色。
- 代数结构：半群、群、环、域、格、布尔代数。
- 重视定义。 离散数学的「难」不在计算，而在概念之间的细微差别（自反 vs 反自反、对称 vs 反对称）。
- 多画图、多列表。 关系图、哈斯图、真值表都是把抽象具象化的利器。
- 关注同构。 不同领域的结构（命题逻辑 ↔ 布尔代数；幂集 ↔ 整除偏序）背后往往是同一种代数模式。