程序设计方法学 (李传湘/武汉大学出版社/8成新)

作　者：李传湘

ISBN：7307031051

出版社：武汉大学出版社

开本装帧：简装 / 32开 / 331页

印刷时间：2002年7月 / 第1版

新旧程度：8成新书边、书角有少量磨损；有一些笔记或勾画,但不影响阅读。全书无破损、缺页等。

销售状态：有货

定价：16.5元

广州旧书网价格：6元 / 原价36折

真情回馈读者,即日起全场满50元包快递,快递超过书款的20%包平邮. 满100元(不含邮费)赠送15元,包快递,快递超过书款的20%包平邮. 满200元(不含邮费)赠送30元,包快递,快递超过书款的20%包平邮. 以此类推,不设上限.
邮费说明
挂号平邮:6元/首700g，0.7元/续100g，5-15天到。
快递
地区	首重1kg	续重1kg	时限
广州市区	6元	1元	第二天
珠三角	8元	2元	第二天
河北/山西/山东/重庆/四川/贵州/云南/陕西/甘肃/青海	15元	8元	2-3天
东三省/内蒙古	18元	10元	3-4天
其它大部分地区	12元	7元	2-3天

◆ [程序设计方法学 (李传湘/武汉大学出版社/8成新)] 图书简介

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

◆ [程序设计方法学 (李传湘/武汉大学出版社/8成新)] 图书目录

第一章引论
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）模型
……
第五章其他控制模型
第二部分基本数据结构
第六章数据的数字模型
第七章程序设计语言的数据对象
第八章抽象数据类型
第九章抽象数据类型封装
第三部分程序
第十章算法
第十一章程序正确性分析与证明
第十二章计算复杂分析与估算
参考文献

◆ 程序设计方法学 (李传湘/武汉大学出版社/8成新)同类图书推荐

·Visual FoxPro基础教程 (周永恒/高等教育出版社/8成新)
·Visual Basic实用培训教程 (金英姿等/人民邮电出版社/8成新)
·C++语言程序设计 (第3版/郑莉等/清华大学出版社/8成新)
·深入浅出MFC (第2版/侯俊杰/华中科技大学出版社/9成新/无CD）
·Visual Basic程序设计教程 (佟伟光/电子工业出版社/8成新)
·C语言程序设计 ("十五"/第2版/廖雷/高等教育出版社/8成新)
·VB程序设计及应用 (李淑华/高等教育出版社/8成新/附光盘)
·C语言程序设计 (谭浩强/清华大学出版社/8成新)

?2007 广州旧书网　中国旧书联盟 ┆ 关于我们 ┆ 代理合作 ┆ 图书馆工程 ┆ 网站地图 ┆ 分类目录 ┆ 帮助中心 ┆ 意见反馈 ┆ 友情链接