| |
| 李传湘，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）模型 …… 第五章 其他控制模型 第二部分 基本数据结构 第六章 数据的数字模型 第七章 程序设计语言的数据对象 第八章 抽象数据类型 第九章 抽象数据类型封装 第三部分 程序 第十章 算法 第十一章 程序正确性分析与证明 第十二章 计算复杂分析与估算 参考文献 |
内容加载中，请稍后...
商品评论（0条）