《普通高等教育"十一五"计算机类规划教材·离散数学及其应用》作为计算机科学与技术及信息类专业的基础理论教材，主要内容包括命题逻辑、谓词逻辑、集合与关系、映射、代数结构、格与布尔代数、图论等知识，对相关知识的专业应用内容也作了介绍。离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。