程序设计方法学 - 中国高校教材图书网
|
书名： |
程序设计方法学
|
| ISBN： | 978-7-307-03105-0 |
责任编辑： | |
| 作者： |
李传湘
相关图书
|
装订： | 平装 |
| 印次： | 1-4 |
开本： | 大32开 |
| 定价： |
￥16.50
折扣价：￥14.03
折扣：0.85
节省了2.475元
|
字数： |
|
| 出版社： |
武汉大学出版社 |
页数： |
|
| 出版日期： |
2000-12-01 |
每包册数： |
|
| 国家规划教材： |
|
省部级规划教材： |
|
| 入选重点出版项目： |
|
获奖信息： |
|
|
|
| 内容简介： |
|
本书系统地讨论了程序设计的基本理论（数学模型、原理和方法）；分析了程序设计基本理论不断发展和完善的过程，重点论述了结构程序设计和面向对象程序设计的基本原理和方法，因而使程序的开发和运用更为科学有效，并向更高层次发展；强调说明了只有依据基本理论原则和方法，才能开发出可靠高效的良结构程序。
|
| 作者简介： |
|
李传湘 武汉大学计算机科学学院教授，享受国务院政府特殊津贴。1957年武汉大学数学系毕业，1961年组织设计了我国第一台电子管M-2计算机，1967年主持研制了我国第一台电容式数字磁带存储机，1978年获国家科学大会奖，1992年主持完成了国家自然科学基金课题“模糊信息处理程序设计”。在树信息流、计算树结构、软件结构、人工智能计算、模糊逻辑与模糊信息系统等计算机科学理论方面均有较深的造诣，取得了一系列重大科研成果。
|
| 章节目录： |
第1章 引论
1.1 引言
1.2 问题求解的可能性
1.3 问题求解的基本原则
1.4 抽象化概念
1.5 小结
习题一
第一部分 控制部分
第2章 有限自动机（FA）模型
2.1 引言
2.2 有限自动机的定义
2.3 有限自动机的数学模型
2.4 FA的表示
2.5 有限状态识别器（FSR）与有限状态生成器（FSG）
2.6 不确定的FA（NDFA）
2.7 正规表达式及正规语言
2.8 正规表达式与FA的等价性
2.9 计算能力
2.10 小结
习题二
第3章 下推自动机（PDA）模型
3.1 引言
3.2 PDA的定义与表示
3.3 产生式文法
3.4 CNF文法
3.5 PDA的计算能力
3.6 小结
习题三
第4章 图灵机（TM）模型
4.1 引言
4.2 图灵机模型定义
4.3 结实程序和通用TM
4.4 TM与FA和PDA（NDPDA）的关系
4.5 TM的计算能力
4.6 TM模型与Von Neumann计算机的等价性
4.7 不可计算性
4.8 小结
习题四
第5章 其他控制模型
5.1 引言
5.2 有限框图
5.3 简单程序设计语言的控制结构
5.4 程序中其他控制结构
5.5 小结
习题五
第二部分 基本数据结构
第6章 数据的数学模型
6.1 引言
6.2 存储器函数
6.3 存储器的公理化描述
6.4 函数描述与公理化描述的关系
6.5 类型
6.6 类型的描述
6.7 小结
习题六
第7章 程序设计语言中的数据对象
7.1 引言
7.2 纯量类型
7.3 名字与引用
7.4 构造类型
7.5 程序设计语言中出现的与数据有关的其他问题
7.6 小结
习题七
第8章 抽象数据类型
8.1 引言
8.2 线性结构
8.3 非线性结构
8.4 数据的表示
8.5 抽象数据类型的封装
8.6 小结
习题八
第9章 抽象数据类型封装
9.1 引言
9.2 子程序封装
9.3 封装机制
9.4 继承封装
9.5 面向对象的封装
9.6 小结
习题九
第三部分 程序
第10章 算法
10.1 引言
10.2 算法的一般分析
10.3 递归算法
10.4 迭代算法
10.5 面向对象的程序设计
10.6 小结
习题十
第11章 程序正确性分析与证明
11.1 引言
11.2 FCL/2结构的表示
11.3 其他控制结构的表示
11.4 程式的表示
11.5 程序的形式描述与证明
11.6 程序正确性证明
11.7 计算WP：语言的语义
11.8 正确性论证的脆弱性
11.9 确认：测试与验证
11.10 小结
习题十一
第12章 计算复杂度分析与估算
12.1 引言
12.2 复杂性测量
12.3 两个简单的例子
12.4 阶算法
12.5 提高效率的几个问题
12.6 性能的实验测定
12.7 性能分析测定
12.8 小结
习题十二
参考文献
|
| 精彩片段： |
|
|
| 书 评： |
|
|
| 其 它： |
|
|
|
中国大学出版社协会 |
首页 |
宏观指导 |
出版社天地 |
图书代办站 |
教材图书信息 |
教材图书评论 |
在线订购 |
教材征订
