程序设计方法学

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

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