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

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

8.1 格 8.2 布尔代数

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

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

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

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

上海中医药大学：课程教学大纲汇编合集（外语和计算机类）目录

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

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