离散数学 高等学校“十二五”规划教材 计算机软件工程系列

 本书内容包括四部分：集合论、图论、近世代数和数理逻辑，共13章。第一部分集合论，包括集合及其运算、映射、关系、无穷集合及其基数；第二部分图论，包括图的基本概念、树、平面图和图的着色、有向图；第三部分近世代数，包括群、环与域、格与布尔代数；第四部分数理逻辑，包括命题逻辑和谓词逻辑。每节后都配有习题。
 本书可作为普通高等学校软件工程、计算机等相关专业的教材，也可供从事计算机工作的有关人员参考。

第一部分 集合论
　第1章 集合及其运算
　 1．1 集合的概念
　 1．2 集合之间的关系
　 1．3 集合的运算
　 1．4 笛卡儿积
　 1．5 有穷集合的基数
　第2章 映 射
　 2．1 映射的基本概念
　 2．2 抽屉原理
　 2．3 映射的合成和逆
　 2．4 置换
　 2．5 二元运算和n元运算 
　第3章 关 系
　 3．1 关系的概念
　 3．2 关系矩阵和关系图
　 3．3 关系的性质
　 3．4 复合关系和逆关系
　 3．5 关系的闭包
　 3．6 等价关系与集合的划分
　 3．7 偏序关系
　第4章 无穷集合及其基数
　　4．1 可数集
　　4．2 连续统集
　　4．3 基数及其比较
　　4．4 康托一伯恩斯坦定理
第二部分　图论
第三部分　近世代数
第四部分　数量逻辑
参考文献