编程原本

Posted by

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

本书适合软件开发人员和需要进行程序设计的科学家及工程师阅读,也可供高等院校计算机及相关专业的师生参考。Alexander Stepanov 于1967 到1972 年间在国立莫斯科大学学习数学,从1972 年开始在苏联从事程序设计工作,1977 年移民美国后继续在这一领域工作。他编写过操作系统、程序设计工具、编译器和各种程序库。他在程序设计基础方面的工作先后得到GE、Brooklyn Polytechnic、AT&T、HP、SGI和Adobe 的支持。他在1995 年因C++ 标准模板库的设计获Dr. Dobb’sJournal 的程序设计杰出贡献奖。

Paul McJones 于1967 到1971 年间在加州大学伯克利分校学习工程数学,1967 年进入程序设计领域。他涉足的领域包括操作系统、程序设计环境、事务处理系统,以及企业和客户应用系统等。他先后在加州大学、IBM、Xerox、Tandem、DEC 和Adobe 工作。1982 年他与合作者一起因论文“The Recovery Manager of the System R Database Manager”获得ACM 程序设计系统和语言论文奖。

Leave a Reply

电子邮件地址不会被公开。 必填项已用*标注