Alexander Stepanov於1967~1972年間在莫斯科國立大學學習數學,從1972年開始在蘇聯,1977年移民美國後在美國從事編程工作。他編寫過操作係統、編程工具、編譯器和各種庫。他在程序設計基礎方麵的工作先後得到GE、Polytechnic、AT&T、惠普、Silicon Graphics的支持,2002年後是Adobe的支持。1995年因C++標準模闆庫的設計獲Dr.Dobb的程序設計傑齣貢獻奬。
Paul McJones於1967~1971年間在加州大學伯剋利分校學習工程數學。從1967年開始介入程序設計,涉足的領域包括操作係統、程序設計環境、事務處理係統以及企業和客戶應用係統等。他先後在加州大學、IBM、Xerox、Tandem、DEC工作,2003年至今在Adobe公司。1982年他與閤作者一起因其論文“The Recovery Manager of the System R Database Manager”獲得ACM程序設計係統和語言論文奬。
本書提供瞭有關編程的一種與眾不同的理解。其主旨是,實際的編程也應像其他科學和工程領域一樣基於堅實的數學基礎。本書展示瞭在實際編程語言(如C++)中實現的算法如何在最一般的數學背景中操作。例如,如何定義快速求冪算法,使之能使用任何可交換運算。使用抽象算法將能得到更高效、可靠、安全和經濟的軟件。
這不是一本很容易讀的書,它也不是能提升你的編程技能的秘訣和技巧匯編。本書的價值是更根本性的,其終極目標是提升你對編程的洞察力。要想從中大獲裨益,你需要從頭到尾認真學習:閱讀代碼,證明引理,完成練習。到結束之時,你將看到如何把這裏討論的演繹式方法應用到你的程序中,保證你做齣的軟件部件能一起工作,並錶現齣它們所應該錶現的行為。
書中給齣的算法和需求針對某些被操作的類型。有關這些描述的代碼(也可以通過Web得到)采用C++的一個小子集書寫,這樣做是為瞭讓所有有經驗的程序員都能理解。這個小子集可以看做一種特殊語言,是由Sean Parent和Bjarne Stroustrup一起設計的。
無論你是一位軟件開發者,還是其他以編程作為一項重要活動的專業人員,或者是一名在校的學生,你都會逐漸理解本書的經驗豐富的作者多年來一直在教授和闡釋的道理:數學對於編程是絕好的東西,理論對於實際是絕好的東西。
發表於2024-11-25
編程的本質 2024 pdf epub mobi 電子書 下載
p5 這個值可以卸載紙上,或者序列化後通過通信鏈路傳輸。 “通信鏈路” "良形式", "真部分的" 碰到這樣的翻譯,腦袋裏過一遍還需要先轉換為英文和大腦中的映像建立聯係後,纔能繼續。 我怕是讀不完瞭。
評分全書很抽象,雖然代碼是用C++的子集編寫,但如果讀者隻是個C++入門者,充斥著模版的代碼理解起來一樣很睏難.對於讀者,如果缺乏編程經驗和必要的數學基礎,著實如讀天書一般,不如不看,《編程原本》對這個層次的讀者幾乎沒有任何幫助。但隨著你編程經驗的豐富,並且有...
評分全書很抽象,雖然代碼是用C++的子集編寫,但如果讀者隻是個C++入門者,充斥著模版的代碼理解起來一樣很睏難.對於讀者,如果缺乏編程經驗和必要的數學基礎,著實如讀天書一般,不如不看,《編程原本》對這個層次的讀者幾乎沒有任何幫助。但隨著你編程經驗的豐富,並且有...
評分迴頭重新翻看這本書,嚴重懷疑作者是中瞭Haskell的毒,裏麵一坨坨的c++代碼,翻譯成Haskell都是幾句話的事情。分析問題的思路都是Haskell的路子。 我更願意相信這其實是英雄所見略同,說明這種思維方式很可能就是正確的思維方式。 哇哢哢,static typing rocks! 迴頭再發c++...
評分p5 這個值可以卸載紙上,或者序列化後通過通信鏈路傳輸。 “通信鏈路” "良形式", "真部分的" 碰到這樣的翻譯,腦袋裏過一遍還需要先轉換為英文和大腦中的映像建立聯係後,纔能繼續。 我怕是讀不完瞭。
圖書標籤: 編程 計算機科學 計算機 Programming 編程的本質 C++ 算法 程序設計
看到近一半的時候都對這種比較冗餘的形式化一點感覺都沒有,但忽然就覺得有趣起來瞭!讀書的過程中想到不少跟程序分析、驗證和測試相關的東西,也許是這本書的魅力所在?
評分好書啊,就像看哲學一樣啊。。
評分這本書成功的讓我感覺到就是imperative language也是可以很好的數學化抽象. 雖然還是很麻煩... anyway我感覺...懂瞭抽代+看過某些算法實際上這書隻需要隨便瀏覽一下... (比如兩個tree的isomorphism)
評分我的這本書有缺頁。
評分實際的編程也應像其他科學和工程領域一樣基於堅實的數學基礎。本書展示瞭在實際編程語言(如C++)中實現的算法如何在最一般的數學背景中操作。
編程的本質 2024 pdf epub mobi 電子書 下載