探求编程原本，就不会再问你懂得什么是程序？写过多少行代码？”

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

编程原本

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

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

编程原本

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

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

目录结构

样章试读：