离散数学是计算机专业和部分信息类专业的必修课程，也是IEEE的教育委员会建议的计算机专业本科必修课程。为适应当前教育需求，本书降低了理论环节的难度，强调实践及应用环节。全书共分为8章，分别介绍了算法基础、集合与序列、关系与函数、逻辑与证明、图论、网络模型、代数系统以及有限状态机和图灵机等内容。为了便于学生上机编写程序，本书在编写的过程中增加了算法章节。本书可作为高等工科院校计算机专业和信息类专业的教材，也可供高等职业技术学院、高等工业专科学校及其他大专院校的师生以及编程人员参考使用。