离散数学（Semester 3 课程）

离散优化（只有一点点）

离散数学（全）-北京大学_哔哩哔哩_bilibili

命题逻辑

[A0-0] 布尔代数

[A1-1] 命题逻辑

[A1-2] 推理与证明

[A2-1] 一阶谓词逻辑

集合论

• 集合、二元关系、函数、等价关系、序关系、自然数、基数、序数。

[B1] 集合的概念

[B1a] 集合论拓展

[B2-1] 二元关系

[B2-2] 函数

[B3] 自然数

[B3a] 序数

[B4] 集合的基数