本書是 https://item.jd.com/12584970.html 的解釋說明 大家都是學計算機的，多支持正版，在計算機行業工資面前，買書還是很廉價的。
雖然書很厚，內容很多，樓主儘自己最大可能講清楚，並堅持持續更新（具體時間不確定）。不會放棄，一直更新結束。時間週期可能會很長，給自己一個小期限吧 立個flag現在是20200204 限制到20210801。武漢加油！
（好像大多數都是照原書copy的！！！）
第一部分 數學證明
第一部分共八章
引言
本書闡釋瞭如何利用數學模型與方法來分析計算機科學領域的問題。
其中，數學證明（proof）發揮着核心作用，作者以及大多數數學家相信，真正意義的理解，其本質就是數學證明。
簡單的說，證明就是構建真理的方法。每個領域構建的真理不盡相同。例如，物理學或生物學領域，科學的真理是經過實驗驗證的。在統計學領域，可能的真理是通過對樣本數據進行統計分析而建立起來的。
數學上，對“證明”有着獨特的概念解釋。
定義，命題的數學證明是指基於一系列公理，經過一連串的邏輯推理，最後得出這個命題。
這個定義強調了三個關鍵點：命題(proposition)、邏輯推理（logical deduction）和公理（axiom）。
第一章討論了這三點，以及基本的證明方法。
第二章介紹了一種基本的證明方法，即良序原理（well ordering principle）。
第三章介紹了要想證明一個命題，應該準確地理解這個命題的含義。爲了避免日常語言定義帶來的歧義和不確定性，數學家用詞十分精確，通常使用邏輯公式來表述命題，
前三章假設讀者對一些數學概念比較熟悉，比如集合、函數等。
第四章和第八章更詳細地探討數學數據類型，着重介紹了無限集證明的屬性和方法。
第五章介紹了歸納法（induction）相關的證明方法。
第七章繼續討論遞歸型（recursively defined）數據類型。