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

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

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

国家开放大学：2012—2013学年第一学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

国家开放大学：2008—2009学年第二学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

国家开放大学：2008—2009学年第一学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

国家开放大学：2007—2008学年第二学期“开放本科”计算机科学与技术专业离散数学（本）期末试题（半开卷）

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

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

10.1欧拉图 10.2哈密顿图 10.3平面图 10.4二分图 10.5例题选解