书籍-《计算机科学中的离散数学》

书籍：Essential Discrete Mathematics for Computer Science
作者：Harry Lewis，Rachel Zax
出版：Princeton University Press​​
编辑：陈萍萍的公主@一点人工一点智能
书籍下载-《计算机科学中的离散数学》

01 书籍介绍

离散数学是计算机科学许多领域的基础，从算法和自动机理论到组合学和图论。这本教科书涵盖了每位计算机科学学生都需要掌握的离散数学知识。
本书通过三十一个简短章节快速引导学生学习，每个章节都聚焦于一个主要主题，灵活的内容结构使其能够适应多种课程的教学大纲。经过课堂验证，《计算机科学中的离散数学》旨在教授数学推理以及概念与技能，特别强调证明的艺术。
全书采用彩色插图，并且每一章都包含简洁的小结及一套练习题。本书仅要求读者具备预备微积分的知识，在需要微积分的地方提供了基本知识点的快速回顾。《计算机科学中的离散数学》是标准本科课程的理想入门教材，同时也适合高中课程、成人远程教育以及自学使用。
· 离散数学的基本介绍
· 包含三十一章简短内容，每章适合作为一堂课的教学材料
· 提供超过300道习题
· 几乎所有的公式和定理都有完整的证明
· 内容广泛，使书籍适用于各种不同的课程
· 每个章节都附有简洁总结
· 为教师提供解答手册

02 作者简介

Harry Lewis是哈佛大学戈登·麦凯计算机科学教授，曾任哈佛学院院长。他的著作包括《Blown to Bits: Your Life, Liberty, and Happiness after the Digital Explosion》。Rachel Zax是谷歌的一名软件工程师。

03 书籍大纲