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.
##过程相当痛苦,而且至今还有一些知识点没有很好的理解。 不敢说全懂,但是还是很认真地做了大部分的习题的,对引理和工程也有所思考。有时,觉得书写错了。错了。。错了。。。真的错了。最后发现还是自己错了。所以,若有读者认书错了。。。再多想一下下吧~! 需重读,再写笔记,时间的话就。。。 全书很抽象,虽然代码是用C++的子集编写,但如果读者只是个C++入门者,充斥着模版的代码理解起来一样很困难.对于读者,如果缺乏编程经验和必要的数学基础,着实如读天书一般,不如不看,《编程原本》对这个层次的读者几乎没有任何帮助。但随着你编程经验的丰富,并且有...
评分##回头重新翻看这本书,严重怀疑作者是中了Haskell的毒,里面一坨坨的c++代码,翻译成Haskell都是几句话的事情。分析问题的思路都是Haskell的路子。 我更愿意相信这其实是英雄所见略同,说明这种思维方式很可能就是正确的思维方式。 哇咔咔,static typing rocks! 回头再发c++...
评分##读了一遍了,至少要多读几遍才能有收获,现在读了第一遍后最大的收获是终于有理由去学代数了,什么群啊,环之类的概念了,有了这些初步视觉上的印象,再去看就能与未能理解的这本书关联起来了,就从抽象到具体了吧
评分##感觉很难懂。都是一些推理的公式之类,不知道作者想要传递什么信息。算法?不像。基于数学推理的算法体系?不懂。 装帧到蛮朴素严谨的,是我喜欢的类型,可以z 13下,可惜我真的不懂,不买算了。
评分##刚翻,发现个小问题。参考书籍的排列索引有问题,而且还有丢失的条目。不信的可以与原版逐一比较一下即知。 译者前言里面说是直接从原版的pdf直接改写的,所以版面有错误应该由裘负责,希望下一次刷的时候能改正。
评分##p5 这个值可以卸载纸上,或者序列化后通过通信链路传输。 “通信链路” "良形式", "真部分的" 碰到这样的翻译,脑袋里过一遍还需要先转换为英文和大脑中的映像建立联系后,才能继续。 我怕是读不完了。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.idnshop.cc All Rights Reserved. 静思书屋 版权所有