【程序设计方法学】李传湘.pdf

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

陈世鸿刘海青编著 WUHAN DAXUE CHUBANSHE

前盲前言编著此书的目的在于强调这样一个观点:高品质的软件只有基于软件学的基本理论才成为可能。特别是进人新的世纪之后,计算机软件将渗透到社会的各个领域。社会对软件的需求量还会迅猛增长,软件的开发速度、质量及可靠性将成为人们密切关注的问题。软件的差错将会给社会带来严重的、有时甚至是灾难性的后果.基于以上观点,我们编著的这本书具有如下特点:对计算机科学的软件的基本理论体系作了系统的讨论.概要介绍了基本理论的发展过程,重点概述了其间的成果.讨论了基本理论及其发展过程对软件实践的深刻影响.