本书共14章, 内容包含数学语言与证明方法、证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、容斥原理、递推方程与生成函数、初等数论、离散概率、代数系统等。本书体系严谨, 文字精炼, 内容翔实, 例题丰富, 注重与计算机科学技术的实际问题相结合, 并选配了大量难度适当的习题, 适合教学。此外, 本书有配套的习题解答与学习指导等教学辅导用书, 以及用于课堂教学的PPT演示文稿和在线数字资源等, 以满足教学需要。