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

　　第一部分  集合论
　　第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  康托一伯恩斯坦定理
　　第二部分  图论
　　第三部分  近世代数
　　第四部分  数量逻辑
　　参考文献

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