8.1 格 8.2 布尔代数

7.1 半群和独异点 7.2 群与阿贝尔群 7.3 子群 7.4 陪集和拉格朗日定理 7.5 正规子群 7.6 同态和同构 7.7 循环群 7.8 置换群 7.9 环与域

6.1 代数系统的基本概念 6.2 二元运算的性质 6.3 子代数和积代数

5.1 函数的基本概念 5.2 反函数和复合函数 5.3 集合的基数

4.1 二元关系及其表示 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包运算 4.5 等价关系 4.6 相容关系 4.7 序关系

3.1 集合的基本概念 3.2 集合的运算 3.3 集合恒等式 3.4 集合的覆盖与划分 3.5 笛卡尔积

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

计算机类本科规划教材：《离散数学》课程配套电子教案（PPT课件讲稿）总目录（电子工业出版社）

一.数学在科学中的地位 二.数学的计算功能 三.数学是描述科学规律的合适语言 四.数学是探索未知世界的锐利武器 五.数学是培养和训练思维能力的理想载体 六.数学的哲学意义 七. 数学的美学价值