程序设计方法与优化

出版时间：2004-1-1  出版社：西安交通大学出版社  作者：覃征,王志敏  页数：371  字数：442000  
Tag标签：无  

内容概要

本书系统讲述了计算机程序设计的基本概念、基本方法和常用程序语言的优化设计思想，用大量的程序实例说明了常用程序设计方法的实际应用和编程技巧。全书分10章，以三个部分介绍了程序设计的基础知识、基本方法及其优化方法。第一部分概要介绍了程序设计方法的发展、程序设计的一般方法和表示方法。并描述了算法的概念和图灵机模型；第二部分结合具体程序实例详细讲述了结构化程序设计方法、面向对象程序设计方法、组件化程序设计方法、递归程序设计方法、嵌入式程序设计方法和程序的正确性证明；第三部分介绍了程序计算复杂度的分析方法，对程序设计进行了定量的表示，并举例说明了C/C++程序、Java程序、ASP程序、Prolog逻辑程序、32位汇编指令常用的优化内容、原则与方法。    本书可作为高等院校程序方法课程的教科书，也可作为从事计算机程序设计的研究人员和从事软件系统设计、开发应用工作相关技术人员的参考书。

作者简介

覃征，1956年生，湖南省石门市人。清华大学信息学院，软件学院教授，博士生导师。西安交通大学计算机科学与技术系教授，博士生导师。赴美高级访问学者。现任西安交通大学电子商务研究所所长，兼任教育科技奖励评议专家组软件评委，中国高校电子商务学科协调小组专家，国

书籍目录

第一部分 基础篇　第1章 绪论　　1.1 程序设计方法的发展　　1.2 程序设计一般方法　　1.3 程序设计的表示方法　　小结　第2章 程序算法与图灵机模型　　2.1 算法概念　　2.2 图灵机模型　　2.3 通用图灵机　　2.4 希尔伯特问题的不可解性　　小结第二部分 方法篇　第3章 结构化程序设计方法　　3.1 结构化程序设计的基本思想　　3.2 逐步求精的方法　　3.3 改进的N-S图　　3.4 非结构化程序到结构化程序的转化　　小结　第4章 面向对象程序设计方法　　4.1 面向对象程序设计的基本思想　　4.2 面向对象程序设计中的继承机制　　4.3 面向对象程序设计中的多态性　　4.4 面向对象方法与结构化方法的比较　　4.5 面向对象技术的未来发展　　小结　第5章 组件化程序设计方法　　5.1 组件化程序设计的基本思想　　5.2 CORBA组件模型　　5.3 COM组件对象模型　　5.4 EJB组件模型　　5.5 组件技术与软件体系结核　　小结　第6章 递归程序设计方法　　6.1 递归程序设计的基本思想　　6.2 递归方法与树型结构　　6.3 递归方法与栈结构　　6.4 递归算法到非递归算法的变换　　小结　第7章 嵌入式程序设计方法　　7.1 嵌入式程序设计的基本思想　　7.2 嵌入式实时操作系统分析　　7.3 嵌入式C/C++语言程序设计方法　　7.4 嵌入式J2ME程序设计方法　　小结　第8章 程序的正确性证明　　8.1 证明程序正确性的Floyd断言方法　　8.2 证明程序正确性的Hoare公理系统　　8.3 面向对象程序设计的正确性证明　　8.4 组件程序设计的正确性证明　　8.5 用广义数学归纳法证明递归程序的正确性　　小结第三部分 优化篇　第9章 程序计算复杂度的分析方法　　9.1 程序结构复杂度的分析　　9.2 程序嵌套结构复杂度的分析　　9.3 递归函数时间复杂度的分析　　9.4 简化法则对程序算法时间复杂度的估算　　小结　第10章 程序设计优化的方法　　10.1 程序优化的内容与基本方法　　10.2 算法剖析与程序优化　　10.3 常用高级程序语言的优化　　10.4 32位汇编指令的常用优化方法　　小结主要英文缩写索引参考文献