書籍：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是谷歌的一名軟件工程師。
