Alexander Stepanov studied mathematics at Moscow State University from 1967 to 1972. He has been programming since 1972: first in the Soviet Union and, after emigrating in 1977, in the United States. He has programmed operating systems, programming tools, compilers, and libraries. His work on foundations of programming has been supported by GE, Brooklyn Polytechnic, AT&T,HP, SGI, and, since 2002, Adobe. In 1995 he received the Dr. Dobb’s Journal Excellence in Programming Award for the design of the C++ Standard Template Library.
Paul McJones studied engineering mathematics at the University of California, Berkeley, from 1967 to 1971. He has been programming since 1967 in the areas of operating systems, programming environments, transaction processing systems, and enterprise and consumer applications. He has been employed by the University of California, IBM, Xerox, Tandem, DEC, and, since 2003, Adobe. In 1982 he and his coauthors received the ACM Programming Systems and Languages Paper Award for their paper “The Recovery Manager of the System R Database Manager.”
Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like other areas of science and engineering, must be based on a solid mathematical foundation. The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation algorithm is defined to work with any associative operation. Using abstract algorithms leads to efficient, reliable, secure, and economical software.
This is not an easy book. Nor is it a compilation of tips and tricks for incremental improvements in your programming skills. The book’s value is more fundamental and, ultimately, more critical for insight into programming. To benefit fully, you will need to work through it from beginning to end, reading the code, proving the lemmas, doing the exercises. When finished, you will see how the application of the deductive method to your programs assures that your system’s software components will work together and behave as they must.
Following key definitions, the book describes a number of algorithms and requirements for types on which they are defined that exemplify its abstract mathematical approach. The code for these descriptions—also available on the Web—is written in a small subset of C++ meant to be accessible to any experienced programmer. This subset is defined in a special language appendix coauthored by Sean Parent and Bjarne Stroustrup.
Whether you are a software developer, or any other professional for whom programming is an important activity, or a committed student, you will come to understand what the book’s experienced authors have been teaching and demonstrating for years—that mathematics is good for programming, that theory is good for practice.
發表於2024-05-19
Elements of Programming 2024 pdf epub mobi 電子書 下載
剛剛開始翻閱這本書,雖然由於經濟限製,隻能看電子版。 第一感覺是清晰的結構,詳細的講解 最近一直在使用STL工作,不過尚不能得其要領,希望可以從本書中獲得一些幫助
評分剛翻,發現個小問題。參考書籍的排列索引有問題,而且還有丟失的條目。不信的可以與原版逐一比較一下即知。 譯者前言裏麵說是直接從原版的pdf直接改寫的,所以版麵有錯誤應該由裘負責,希望下一次刷的時候能改正。
評分全書的內容可以用最後的一段話總結:程序設計是一種迭代式過程,研究有用的問題,發現處理它們的高效算法,精煉齣算法背後的概念,再講這些概念和算法組織為完滿協調的數學理論。 說白瞭本書就是對STL的提煉,升華成理論。其實程序設計這種東西個人認為是一種實踐經驗的總結,...
評分剛翻,發現個小問題。參考書籍的排列索引有問題,而且還有丟失的條目。不信的可以與原版逐一比較一下即知。 譯者前言裏麵說是直接從原版的pdf直接改寫的,所以版麵有錯誤應該由裘負責,希望下一次刷的時候能改正。
評分剛翻,發現個小問題。參考書籍的排列索引有問題,而且還有丟失的條目。不信的可以與原版逐一比較一下即知。 譯者前言裏麵說是直接從原版的pdf直接改寫的,所以版麵有錯誤應該由裘負責,希望下一次刷的時候能改正。
圖書標籤: programming 算法 編程 C++ 計算機科學 Programming 計算機 程序設計
有些很有用的算法,有些很有啓發的思想,還有一些純粹C艸的東西。西加加大法,一天八十八
評分極好
評分中文譯名《編程原本》,足見其地位。
評分中文譯名《編程原本》,足見其地位。
評分中文譯名《編程原本》,足見其地位。
Elements of Programming 2024 pdf epub mobi 電子書 下載