本书从算法和问题求解的角度介绍离散数学。      全书分为11章，内容包括逻辑与证明，集合、关系与函数，算法，排列组合、鸽笼原理、古典概率，递归关系，图的基本概念，树及其应用，网络模型，Boole代数与组合电路，自动机、文法和语言，计算几何等。每一章包括要点、章节回顾、章节测试和上机练习。全书共有500个精选实例，3500个练习题，135个上机练习题，对于读者学习、理解和应用离散数学理论有很大帮助。      本书适合作为高等院校计算机相关专业离散数学课程的教材，也适合读者自学。