1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

10.1 二元运算及其性质 10.2 代数系统

13.1 格的定义与性质 13.2 子格与格同态 13.3 分配格与有补格 13.4 布尔代数

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）18 路与回路

16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用

北京大学：《离散数学 Discrete Mathematics》课程教学计划