圖書標籤: programming 算法 編程 C++ 計算機科學 Programming 計算機 程序設計
发表于2024-11-25
Elements of Programming pdf epub mobi txt 電子書 下載 2024
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.
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.”
極好
評分過程相當痛苦,而且至今還有一些知識點沒有很好的理解。 不敢說全懂,但是還是很認真地做瞭大部分的習題的,對引理和工程也有所思考。有時,覺得書寫錯瞭。錯瞭。。錯瞭。。。真的錯瞭。最後發現還是自己錯瞭。所以,若有讀者認書錯瞭。。。再多想一下下吧~! 需重讀,再寫筆記,時間的話就。。。
評分有些很有用的算法,有些很有啓發的思想,還有一些純粹C艸的東西。西加加大法,一天八十八
評分極好
評分中文譯名《編程原本》,足見其地位。
这本书不错 看看这个你们就知道了 http://www.xafc.com/梦想,是一个让我觉得非常珍贵的词,但是现如今,我又觉得这人人人可以拥有的东西很奢侈。 最近九个月我陷入了一种非常奇怪的状态,变得什么都不想干,不想念书,不想上课,不想做作业,甚至都不想复习就去考试,拖延症...
評分看了六章了,看不下去了,太扯淡了,纯粹就是拿数学的皮来卖算法的肉。 数学也就那点,无非就是谓词逻辑的表述,代数(居然群环域模全扯一边,就是没说环上的自由摸)和序理论的核; 算法也就那点,无非就是一个碰撞点检测算法,各种求幂算法,排序算法,迭代器,欧几里德gcd...
評分刚刚开始翻阅这本书,虽然由于经济限制,只能看电子版。 第一感觉是清晰的结构,详细的讲解 最近一直在使用STL工作,不过尚不能得其要领,希望可以从本书中获得一些帮助
評分看了六章了,看不下去了,太扯淡了,纯粹就是拿数学的皮来卖算法的肉。 数学也就那点,无非就是谓词逻辑的表述,代数(居然群环域模全扯一边,就是没说环上的自由摸)和序理论的核; 算法也就那点,无非就是一个碰撞点检测算法,各种求幂算法,排序算法,迭代器,欧几里德gcd...
評分p5 这个值可以卸载纸上,或者序列化后通过通信链路传输。 “通信链路” "良形式", "真部分的" 碰到这样的翻译,脑袋里过一遍还需要先转换为英文和大脑中的映像建立联系后,才能继续。 我怕是读不完了。
Elements of Programming pdf epub mobi txt 電子書 下載 2024