离散数学 面向计算机科学专业

本书从计算机科学的角度出发，面向计算机相关专业学生的需求，以教学活动为驱动，辅以大量的习题，系统地介绍计算机科学领域中离散数学的理论和方法。本书主要涵盖计数、密码编码学与数论、逻辑与证明、归纳、递归、概率以及图论等内容。书中对定理、引理和推论的推导严密，同时配备大量的例题、图表、应用实例。 本书不仅适合作为高校计算机相关专业离散数学课程的教材，也适合作为计算机行业的技术人员的参考书。