离散数学（Semester 3 课程）

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

[A0-0] 布尔代数

命题逻辑

[A1-1] 命题逻辑

[A1-2] 推理与证明

[A2-1] 一阶谓词逻辑

集合论

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

[B1] 集合的概念

[B2-1] 二元关系

[B2-2] 函数

[B3] 自然数

[B4] 集合的基数

[BA] 集合论公理与悖论

代数结构

• 代数系统、半群与独异点群、环、域、格。