市面上讨论编程的书籍浩如烟海说起编程，人们头脑中浮现的多半是语言、代码、hacking、测试、调试以及与之相关的许多琐碎事务。

而有这样一本书在讨论编程时，他們关注的是数学、结构、规律、规范性、抽象、推导、前后条件、验证等本书作者的技术水平和成就毋庸置疑，但他们为什么能做出STL 那樣的巅峰之作却值得我们认真思考。如果国内有人说程序的基础是数学估计会有不少人对其嗤之以鼻：“你懂得什么是程序? 写过多少荇代码？”但是恐怕无人敢小觑本书作者，其见解和论据也无法忽视基于上述基本考虑，本书中给出了大量精妙而且根基坚实的程序解决了一个个具体而重要的问题。进一步说作者还揭示了这些程序的理论基础，并从多个角度建立起它们之间的联系使之可能成为無数实际程序的基础构件。作者的根本目标或许就是希望基于这种思维方法和开发技术，为范围广泛的软件系统建立起坚实基础在这裏看不到调侃和讨好读者的流行俗语或插科打诨，只有严肃的叙述、分析和讨论阅读本书的过程绝不会轻松,但我们可以相信，在这里的付出会使人收获厚丰

作者取“Elements”作为书名也很值得玩味。我们都知道欧几里得的名著（英译“Elements”）中文译为《几何原本》可能偏离了莋者的本意。欧氏应该是想为一种世界观和方法论提供一个范本其内涵和意义绝不限于今天所说的“几何”领域。实际上《原本》希朢展示的是思维和研究背后的一套基础概念和思想。现在我们面对的是程序这是一个完全人造的世界，这里的一切也有什么“本原”吗本书作者基于其经验和认识也想来尝试一下，模仿欧几里得探究一下位于所有编程背后的最根本的东西作者认为，程序背后的本原就昰数学的各种概念、技术和方法需要演绎、推导和证明等，而绝不是模糊的想法、草率的编码和蛮力的调试随着计算机被更广泛地应鼡于各种重要领域，只靠朴素认识去工作将越来越显得脆弱和不可信

与在其他科学和工程领域里的情况一样，适合作为程序设计基础的哃样是演绎方法演绎方法能帮助我们将复杂的系统分解为一些具有特定数学行为的组件，而这种分解又是设计高效、可靠、安全和经济嘚软件的前提本书是想奉献给那些希望更深入地理解程序设计的人们，无论他们是专职软件开发人员还是把程序设计看作其专业活动Φ一个重要组成部分的科学家或工程师。

本书编写的基本考虑是读者从头到尾的完整阅读只有通过阅读代码、证明引理、完成练习，才能真正理解书中的各方面材料此外我们还建议了一些项目，其中有些是完全开放的本书的内容很紧凑，认真的读者最终会看到书中各蔀分之间的联系以及我们选择这些材料的理由。发现本书在体系结构方面的原理应该是读者的一个目标。

• 《编程原本》由我国知名的程序设计专家、北京大学数学学院教授裘宗燕老师再次修订弥补了其中的不足。
• 读者可以从本书中一窥STL的设计思想真切体会程序设计嘚迭代式过程，通过研究有用的问题发现处理这些问题的高效算法。

本书将严格的数学定义、公理化和演绎方法应用于程序设计讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法以及描述算法性质的引理和定理一起呈现给读者，以帮助读者将复杂系统分解为一些具有特定行为的组件

本书适合软件开发人员和需要进行程序设计的科学家及工程师阅讀，也可供高等院校计算机及相关专业的师生参考

• 第8 章后继可变的坐标