程序设计方法学

本书系统讨论了程序设计的基本理论；分析了程序设计基本理论不断发展和完善的过程，重点论述了结构程序设计和面向对象程序设计的基本原理和方法，因而使程序的开发和运用更和科学有效，并向更高层次发展；强调说明了只有依据基本原则和方法，才能开发出可靠高效的结构程序。

本书由三个部分共12章组成，第一章为引论，阐述了计算机求解问题的过程和原则，第二章至第五章为第一部分，论述了程序设计语言的控制结构与有限自动机、下推自动机、图灵机模型等传统计算模型的等价性；第六章至第九章为第二部分，讨论了数据结构的理论模型、数据类型的定认和表示方法，重点说明了抽象数据类型的定义、封装及其在程序语言中的表示与实现，第十章至第十二章为第三部分，讨信纸了程序的算法设计、程序正确性证明及其算法的复杂性问题。

本书适用于计算机本科高年级学生、研究生程序设计方法学课程的教材和从事软件科学的研究人员与高级人员与高级工程人员使用。