[程序设计方法学]李传湘

【程序设计方法学】李传湘.pdf李传湘1933年7月生,湖 北省监利县人,武汉大学计 算机科学学院教授,享受国 务院政府特殊津贴。1957年 武汉大学数学系毕业,1961 年组织设计了我国第一台电 子管M-2+算机,1967年 主持研制了我国第一台电容 式效字城带存储机,1978年 获国家科学大会奖,1992年 主持完成了国家自然科学基 金果题“模制信息处理程序 设计”。在树信息流、计算树 结构、软件结构、人工智能计 算、模期逻辑与快想信息系 统等计算机科学理论方面均 有较深的造谐,取得了一系 列重大科研成果,发表论文 30余篇,出版专著3部。陈世鸿 刘海青 编著 WUHAN DAXUE CHUBANSHE前盲 前言 编著此书的目的在于强调这样一个观点:高品质的软件只有 基于软件学的基本理论才成为可能。特别是进人新的世纪之后,计 算机软件将渗透到社会的各个领域。社会对软件的需求量还会迅 猛增长,软件的开发速度、质量及可靠性将成为人们密切关注的问 题。软件的差错将会给社会带来严重的、有时甚至是灾难性的后 果.基于以上观点,我们编著的这本书具有如下特点:对计算机科学的软件的基本理论体系作了系统的讨论.概要介绍了基本理论的发展过程,重点概述了其间的成 果.讨论了基本理论及其发展过程对软件实践的深刻影响.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。