本书是一本难得的好书,内容全面,涵盖了归纳证明技术、数理逻辑、集合论、图论、自动机理论、计算复杂性理论、组合数学、离散概率论、数论等诸多数学分支,全面覆盖了计算机科学专业从本科至博士阶段的基础数学课程内容。
但是,这本书又不同于讲授离散数学基本概念的教材,更多的是介绍相关理论在解决实际问题时的应用技巧以及需要注意的问题。可作为研究生相关课程的教材或辅助资料,有助于研究生培养独立解决问题的能力。
全书共31章,逻辑结构严谨,所涉及的公式、定理多数给出了完整的证明过程。对于数学原理的阐述,本书不只是简单的概念介绍,而是通过问题讨论的方式,多角度、多层面地分析,从具体到一般,详细、具体地讲解解题的思路与方法,内容风格不同于一般数学教材的严肃刻板,更生动、更具趣味性且易于接受。读者常常在不知不觉中被带入,跟着作者的思路走。














