程序设计方法学

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

　　李传湘，1933年生，湖北省监利县人，武汉大不社算机科学学院教授，享受国务院政府特殊津贴，1957年武汉大不数不系毕业，1961年组织设计了我国第一台电子很容易M—2计算机，1967年主持研制了第一台电容式数字磁带存储机，1978年获国家科学大会奖，1992年主持完成了国家自然科学基金课题“模糊信息处理各序设计”。在树信息流、计算树结构、软件结构、人工智能计算、模糊逻辑与模糊信息系统等计算机科学理论方面均有较深的造诣，取得一系列重大科研成果，发表论文30余篇，出版专著3部。

第一章 引论
  1 引言
  2 问题求解的可行性
  3 问题求解的基本原则
  4 抽象化概念
  5 小结
  习题一
第一部分 控制部分
  第二章 有限自动（FA）模型
    1 引言
    2 有限自动机的定义
    3 有限自动机的数字模型
    4 FA的表示
    5 有限状态识别器（FSR）与限状态生成器（FSG）
    6 不确定的FA（NDFA）
    7 正夫表不定期工及正则语言
    8 正规表达式与FA的等价性
    9 计算能力
    10 小结
    习题二
  第三章 下推自动（PDA）模型
    1 引言
    2 PDA的定义与表示
    3 产生式文法
    4 CHF文法
    5 PDA的计算能力
    6 小结
    习题三
第四章 图灵机（TM）模型
……
第五章 其他控制模型
第二部分 基本数据结构
第六章 数据的数字模型
第七章 程序设计语言的数据对象
第八章 抽象数据类型
第九章 抽象数据类型封装
第三部分 程序
第十章 算法
第十一章 程序正确性分析与证明
第十二章 计算复杂分析与估算
参考文献