计算机科学中的数学 信息与智能时代的必修课

本书讲述了面向计算机科学与工程的数学理论知识。强调如何在计算机科学中实现数学定义、证明及其应用方法。全书共分五篇，其中第一篇由证明到数据类型，讲述了数学分析的基本概念和知识；第二篇介绍数论、网络和图论；第三篇介绍计算理论；第四篇讨论概率论，第五篇介绍递归。