計算機科學經典書籍（翻遍知乎1000多個高贊回答）

2023-04-16 22:13:12

程式設計師書庫（ID：CodingBook）猿妹綜合整理來源：豆瓣、https://www.zhihu.com/question/28438145/answer/758059658等

知乎上曾有一個問題調查：不同領域的聖經級書籍有哪些？這個調查被瀏覽了6667327次，76017次關注，一共有1820多個答案

其中，最受計算機科學相關的書籍一共有8本，如果你是個程式設計師，相信你一定有興趣看看這些書都是哪些，除了讓你知道這8本分別是哪些書籍以外，猿妹還對這些書籍做了簡單的介紹，並附上豆瓣評分和書評，供大家參考

1、《電腦程式設計藝術（第1卷）》

《電腦程式設計藝術》系列是公認的計算機科學領域經典之作，深入闡述了程序設計理論，對計算機領域的發展有著極為深遠的影響。一共有3卷，第 1 卷，講解基本算法；第2卷，全面講解了半數值算法，分「隨機數」和「算術」兩章；第3卷，全面講述了排序和查找算法。

豆瓣書評：

@Palmer：這也算是需要一輩子用心來讀的一本書吧！~@Prayer：毋庸多說，神作！Knuth不僅僅有鼻祖級別的學問，更有曠世大師的氣概！
2、《Software Foundation》
本書對軟體工程的數學基礎進行了詳細的介紹，面向的受眾很廣，從本科生到博士生和研究人員，不要求讀者具備特定的邏輯或程式語言背景，當然如果你具備一定的數學基礎幫助會很大。
豆瓣書評：
@クロムウェル：內容涵蓋coq入門、形式語義、程序驗證、類型系統，可以邊讀邊在coq上做證明，強力推薦@HashChain：前半部分主講Coq，後面部分和TAPL結合起來看。好多題目沒做完，需要多看幾遍。
3、《handbook of programming languages》
這是一本完整的手冊，涵蓋了使用最廣的面向對象程式語言，並全面介紹了每種語言的歷史背景、語法、變量、技巧等，本書一共有四卷。
4、《Advanced Topics in Types and Programming Languages》
本書涉及計算機科學的許多領域，從語言設計和實現到軟體工程、網絡安全、資料庫，以及並發和分布式系統的分析。
5、《Basic Category Theory for computer Scientists》
範疇理論是純數學的一個分支，它正在成為計算機科學中一個日益重要的工具，特別是在程式語言語義、領域理論和並發性方面。本書介紹了範疇理論的基本內容，而且用四個案例研究說明了範疇理論在程式語言設計、語義和遞歸域方程求解中的應用。
6、《compiler design：virtual machine》
這本書並不是一本關於編譯器的烹飪書，相反，作者介紹了編譯器設計的一些特性，這是多卷集中的第一本書，作者在這裡描述了編譯器的功能，這本書是為計算機科學專業的學生準備的，閱讀本書之前，你至少需要掌握一門命令式程式語言，如果你能再了解一門現代函數式程式語言就再好不過
7、《深入理解計算機系統》
本書的主要論題包括：數據表示、C程序的機器級表示、處理器結構，程序優化、存儲器層次結構、連結、異常控制流、虛擬存儲器和存儲器管理、系統級I/O、網絡編程和並發編程。
書中所覆蓋的內容主要是這些方面是如何影響應用和系統程式設計師的。例如，在講述數據表示時，本書說明了用來表示數字的表示方法是有限的，它能夠近似地表示整數和實數，但是這種表示方法是有限制的，程式設計師必須了解。在講述高速緩存時，本書討論了矩陣代碼中的循環變量的順序是如何影響程序的性能的。在討論網絡互連時，本書描述了並發伺服器如何能有效地處理來自多個客戶端的請求。
豆瓣書評：
@cruyff：CMU的經典教材@Hoffnung：很好的內容，感覺的過去這些知識都分散在，編譯原理，作業系統，微機原理，計
這上面的書籍你都讀過了麼？如果讀過，不妨大家分享分享讀後感
,