編程的本質 在線電子書 圖書標籤: 編程 計算機科學 計算機 Programming 編程的本質 C++ 算法 程序設計
發表於2024-12-25
編程的本質 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
: TP311.1/S827
評分沒讀完,應該也不會再讀瞭,concepts的提議都被拒瞭,還有啥好玩的呢。
評分這本書成功的讓我感覺到就是imperative language也是可以很好的數學化抽象. 雖然還是很麻煩... anyway我感覺...懂瞭抽代+看過某些算法實際上這書隻需要隨便瀏覽一下... (比如兩個tree的isomorphism)
評分STL設計者和另外一位作者編寫的書。書中前幾章定義一些基本問題,環的問題等。後麵主要將迭代器以及基於迭代器的操作的設計思想。
評分剛看瞭前麵幾章,跟我想像的有點不一樣。主要是一些形式化的東西,離散數學中有奬。如果想看看c++語言所依賴的數學原理,可以看這本書,這大概也是這本書題的含義。
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一起設計的。
無論你是一位軟件開發者,還是其他以編程作為一項重要活動的專業人員,或者是一名在校的學生,你都會逐漸理解本書的經驗豐富的作者多年來一直在教授和闡釋的道理:數學對於編程是絕好的東西,理論對於實際是絕好的東西。
全书的内容可以用最后的一段话总结:程序设计是一种迭代式过程,研究有用的问题,发现处理它们的高效算法,精炼出算法背后的概念,再讲这些概念和算法组织为完满协调的数学理论。 说白了本书就是对STL的提炼,升华成理论。其实程序设计这种东西个人认为是一种实践经验的总结,...
評分p5 这个值可以卸载纸上,或者序列化后通过通信链路传输。 “通信链路” "良形式", "真部分的" 碰到这样的翻译,脑袋里过一遍还需要先转换为英文和大脑中的映像建立联系后,才能继续。 我怕是读不完了。
評分全书的内容可以用最后的一段话总结:程序设计是一种迭代式过程,研究有用的问题,发现处理它们的高效算法,精炼出算法背后的概念,再讲这些概念和算法组织为完满协调的数学理论。 说白了本书就是对STL的提炼,升华成理论。其实程序设计这种东西个人认为是一种实践经验的总结,...
評分p5 这个值可以卸载纸上,或者序列化后通过通信链路传输。 “通信链路” "良形式", "真部分的" 碰到这样的翻译,脑袋里过一遍还需要先转换为英文和大脑中的映像建立联系后,才能继续。 我怕是读不完了。
評分感觉很难懂。都是一些推理的公式之类,不知道作者想要传递什么信息。算法?不像。基于数学推理的算法体系?不懂。 装帧到蛮朴素严谨的,是我喜欢的类型,可以z 13下,可惜我真的不懂,不买算了。
編程的本質 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024