高等院校“十二五”规划教材·数字媒体技术·示范性软件学院系列教材：离散数学

　　第1章 命题逻辑
　　1.1 命题和连接词
　　1.2 命题公式和真值表
　　1.3 等值演算
　　1.4 连接词的全功能集
　　1.5 命题公式的范式
　　1.6 命题逻辑的推理理论
　　1.7 习题
　　第2章 一阶逻辑
　　2.1 基本概念
　　2.2 一阶逻辑公式及其解释
　　2.3 一阶逻辑等值式与前束范式
　　2.4 一阶逻辑推理理论
　　2.5 习题
　　第3章 集合
　　3.1 集合的基本概念
　　3.2 集合的运算
　　3.3 集合恒等式
　　3.4 习题
　　第4章 二元关系
　　4.1 有序对和笛卡尔乘积
　　4.2 二元关系
　　4.3 关系图和关系矩阵
　　4.4 关系的运算
　　4.5 关系的性质
　　4.6 关系的闭包
　　4.7 等价关系和划分
　　4.8 相容关系和覆盖
　　4.9 序关系
　　4.10 习题
　　第5章 函数
　　5.1 函数的定义和性质
　　5.2 复合函数与逆函数
　　5.3 逆函数
　　5.4 习题
　　第6章 代数系统
　　6.1 二元运算及其性质
　　6.2 代数系统
　　6.3 代数系统的同态和同构
　　6.4 半群和独异点
　　6.5 群
　　6.6 子群
　　6.7 循环群
　　6.8 置换群
　　6.9 陪集
　　6.10环和域
　　6.11 习题
　　第7章 格与布尔代数
　　7.1 格的概念
　　7.2 分配格
　　7.3 布尔代数
　　7.4 习题
　　第8章 图论
　　8.1 图的基本概念
　　8.2 路与回路
　　8.3 图的连通性
　　8.4 图的矩阵的表示
　　8.5 欧拉图与哈密尔顿图
　　8.6 平面图
　　8.7 最短路径和关键路径
　　8.8 树与生成树
　　8.9 根树及其应用
　　8.10 习题

　　    《高等院校“十二五”规划教材·数字媒体技术·示范性软件学院系列教材：离散数学》整体上包括数理逻辑、集合论、代数结构、图论等四方面的内容，具体包括命题逻辑、谓词逻辑、集合论、二元关系、函数、代数系统、群、环、域、格与布尔代数、图的基本概念、欧拉图、哈密尔顿图、树等内容。全书充分考虑应用性本科学生培养目标和教学特点，注重基本概念的同时，对于一些代表性题目给出了分析解题的过程。
　　    《高等院校“十二五”规划教材·数字媒体技术·示范性软件学院系列教材：离散数学》是参考国内外多所院校应用多年的教材内容，结合作者本校学生的实际情况和教学经验，在保持知识体系完整的基础上，本书尽量做到内容精炼，重点突出，讲解详实，并且对全部习题给出了完整答案，并针对某些难点给出了分析。这样使本书更符合本科学生的特点，具有更好的实用性和扩展性。