离散数学书籍

逻辑、集合论、组合数学、图论和数论 - 计算机科学的数学

离散数学是计算机科学的基础。这些书籍涵盖了基本主题：逻辑、证明技巧、集合论、组合数学、图论和数论。

基础离散数学教材

标准本科生离散数学教材。

书籍作者年份级别描述
离散数学及其应用
第8版，McGraw-Hill		Kenneth H. Rosen2019初学者-中级最广泛采用的离散数学教材。清晰覆盖逻辑、证明、集合、组合、图和数论。
带应用的离散数学
第5版，Cengage		Susanna S. Epp2019初学者-中级在教授数学推理和证明方面表现卓越。是新接触正式数学的学生的最佳教材。
离散数学：开放导论
第3版，开放教材		Oscar Levin2019初学者覆盖标准离散数学课程的免费开放教材。

组合数学

枚举、排列、组合和组合结构。

书籍作者年份级别描述
组合数学漫游
第4版，世界科学出版社		Miklós Bóna2016中级-高级引人入胜的组合数学介绍，深度与可及性之间的良好平衡。
枚举组合数学，第1卷和第2卷
剑桥大学出版社		Richard P. Stanley2012, 1999高级关于枚举组合数学的权威高级参考书。
组合数学：主题、技术、算法
剑桥大学出版社		Peter J. Cameron1994高级广泛的组合主题调查，具有算法风味。

图论

图的理论与应用。

书籍作者年份级别描述
图论导论
第2版，Pearson		Douglas B. West2001中级-高级标准的图论教材，包含严格的证明和全面的覆盖。
图论
第5版，Springer		Reinhard Diestel2017高级涵盖经典和现代结果的研究生级图论教材。可通过作者网站免费在线获取。
图与有向图
第6版，CRC出版社		Gary Chartrand, Linda Lesniak, Ping Zhang2015中级易于理解的图论教材，包含大量示例和练习。

逻辑与证明

数学逻辑、证明技巧和定理证明。

书籍作者年份级别描述
如何证明它
第3版，剑桥大学出版社		Daniel J. Velleman2019初学者-中级撰写数学证明的最佳入门书籍。对转向理论课程的计算机科学学生至关重要。
数学逻辑
第2版，Springer		H.-D. Ebbinghaus, J. Flum, W. Thomas1994高级严格的数学逻辑导论，包括完备性和哥德尔定理。
逻辑的数学导论
第2版，学术出版社		Herbert B. Enderton2001高级数学系使用的标准逻辑教材。

数论与应用

经典与现代数论及其在计算机科学中的应用。

书籍作者年份级别描述
具体数学
第2版，Addison-Wesley		Ronald L. Graham, Donald E. Knuth, Oren Patashnik1994高级Knuth独特的连续与离散数学结合。算法分析的必备书籍。
数论导论
第6版，Oxford		G.H. Hardy, E.M. Wright2008高级20世纪两位伟大数学家的经典数论教材。
数论与密码学课程
第2版，Springer		Neal Koblitz1994高级以密码学应用为动机的数论，适合计算机科学学生。