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