本书系统讨论了程序设计的基本理论；分析了程序设计基本理论不断发展和完善的过程，**论述了结构程序设计和面向对象程序设计的基本原理和方法，因而使程序的开发和运用更和科学有效，并向更高层次发展；强调说明了只有依据基本原则和方法，才能开发出可靠**的结构程序。
本书由三个部分共12章组成，**章为引论，阐述了计算机求解问题的过程和原则，第二章至第五章为**部分，论述了程序设计语言的控制结构与有限自动机、下推自动机、图灵机模型等传统计算模型的等价性；第六章至第九章为第二部分，讨论了数据结构的理论模型、数据类型的定认和表示方法，**说明了抽象数据类型的定义、封装及其在程序语言中的表示与实现，第十章至第十二章为第三部分，讨信纸了程序的算法设计、程序正确性证明及其算法的复杂性问题。
本书适用于计算机本科高年级学生、研究生程序设计方法学课程的教材和从事软件科学的研究人员与**人员与**工程人员使用。

**章 引论
1 引言
2 问题求解的可行性
3 问题求解的基本原则
4 抽象化概念
5 小结
……

本书系统讨论了程序设计的基本理论；分析了程序设计基本理论不断发展和完善的过程，**论述���结构程序设计和面向对象程序设计的基本原理和方法，因而使程序的开发和运用更和科学有效，并向更高层次发展；强调说明了只有依据基本原则和方法，才能开发出可靠**的结构程序。
本书由三个部分共12章组成，**章为引论，阐述了计算机求解问题的过程和原则，第二章至第五章为**部分，论述了程序设计语言的控制结构与有限自动机、下推自动机、图灵机模型等传统计算模型的等价性；第六章至第九章为第二部分，讨论了数据结构的理论模型、数据类型的定认和表示方法，**说明了抽象数据类型的定义、封装及其在程序语言中的表示与实现，第十章至第十二章为第三部分，讨信纸了程序的算法设计、程序正确性证明及其算法的复杂性问题。
本书适用于计算机本科高年级学生、研究生程序设计方法学课程的教材和从事软件科学的研究人员与**人员与**工程人员使用。