[图书] - 陈志奎、周勇、高静 - 清华大学出版社 - 2013
本书分为数理逻辑、集合论、代数结构和图论4个部分。全书内容严谨,条理清晰,对概念的阐述精确,对实例的使用合理,适合作为高等学校软件工程专业和计算机专业离散数学课程的本科生教材,也可作为软件工程与计算机等相关专业的自学参考书。