程序設計方法與優(yōu)化

內(nèi)容概要

本書系統(tǒng)講述了計算機程序設計的基本概念、基本方法和常用程序語言的優(yōu)化設計思想，用大量的程序?qū)嵗f明了常用程序設計方法的實際應用和編程技巧。全書分10章，以三個部分介紹了程序設計的基礎知識、基本方法及其優(yōu)化方法。第一部分概要介紹了程序設計方法的發(fā)展、程序設計的一般方法和表示方法。并描述了算法的概念和圖靈機模型；第二部分結(jié)合具體程序?qū)嵗敿氈v述了結(jié)構(gòu)化程序設計方法、面向?qū)ο蟪绦蛟O計方法、組件化程序設計方法、遞歸程序設計方法、嵌入式程序設計方法和程序的正確性證明；第三部分介紹了程序計算復雜度的分析方法，對程序設計進行了定量的表示，并舉例說明了C/C++程序、Java程序、ASP程序、Prolog邏輯程序、32位匯編指令常用的優(yōu)化內(nèi)容、原則與方法。    本書可作為高等院校程序方法課程的教科書，也可作為從事計算機程序設計的研究人員和從事軟件系統(tǒng)設計、開發(fā)應用工作相關(guān)技術(shù)人員的參考書。

作者簡介

覃征，1956年生，湖南省石門市人。清華大學信息學院，軟件學院教授，博士生導師。西安交通大學計算機科學與技術(shù)系教授，博士生導師。赴美高級訪問學者?，F(xiàn)任西安交通大學電子商務研究所所長，兼任教育科技獎勵評議專家組軟件評委，中國高校電子商務學科協(xié)調(diào)小組專家，國

書籍目錄

第一部分 基礎篇　第1章 緒論　　1.1 程序設計方法的發(fā)展　　1.2 程序設計一般方法　　1.3 程序設計的表示方法　　小結(jié)　第2章 程序算法與圖靈機模型　　2.1 算法概念　　2.2 圖靈機模型　　2.3 通用圖靈機　　2.4 希爾伯特問題的不可解性　　小結(jié)第二部分 方法篇　第3章 結(jié)構(gòu)化程序設計方法　　3.1 結(jié)構(gòu)化程序設計的基本思想　　3.2 逐步求精的方法　　3.3 改進的N-S圖　　3.4 非結(jié)構(gòu)化程序到結(jié)構(gòu)化程序的轉(zhuǎn)化　　小結(jié)　第4章 面向?qū)ο蟪绦蛟O計方法　　4.1 面向?qū)ο蟪绦蛟O計的基本思想　　4.2 面向?qū)ο蟪绦蛟O計中的繼承機制　　4.3 面向?qū)ο蟪绦蛟O計中的多態(tài)性　　4.4 面向?qū)ο蠓椒ㄅc結(jié)構(gòu)化方法的比較　　4.5 面向?qū)ο蠹夹g(shù)的未來發(fā)展　　小結(jié)　第5章 組件化程序設計方法　　5.1 組件化程序設計的基本思想　　5.2 CORBA組件模型　　5.3 COM組件對象模型　　5.4 EJB組件模型　　5.5 組件技術(shù)與軟件體系結(jié)核　　小結(jié)　第6章 遞歸程序設計方法　　6.1 遞歸程序設計的基本思想　　6.2 遞歸方法與樹型結(jié)構(gòu)　　6.3 遞歸方法與棧結(jié)構(gòu)　　6.4 遞歸算法到非遞歸算法的變換　　小結(jié)　第7章 嵌入式程序設計方法　　7.1 嵌入式程序設計的基本思想　　7.2 嵌入式實時操作系統(tǒng)分析　　7.3 嵌入式C/C++語言程序設計方法　　7.4 嵌入式J2ME程序設計方法　　小結(jié)　第8章 程序的正確性證明　　8.1 證明程序正確性的Floyd斷言方法　　8.2 證明程序正確性的Hoare公理系統(tǒng)　　8.3 面向?qū)ο蟪绦蛟O計的正確性證明　　8.4 組件程序設計的正確性證明　　8.5 用廣義數(shù)學歸納法證明遞歸程序的正確性　　小結(jié)第三部分 優(yōu)化篇　第9章 程序計算復雜度的分析方法　　9.1 程序結(jié)構(gòu)復雜度的分析　　9.2 程序嵌套結(jié)構(gòu)復雜度的分析　　9.3 遞歸函數(shù)時間復雜度的分析　　9.4 簡化法則對程序算法時間復雜度的估算　　小結(jié)　第10章 程序設計優(yōu)化的方法　　10.1 程序優(yōu)化的內(nèi)容與基本方法　　10.2 算法剖析與程序優(yōu)化　　10.3 常用高級程序語言的優(yōu)化　　10.4 32位匯編指令的常用優(yōu)化方法　　小結(jié)主要英文縮寫索引參考文獻

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    程序設計方法與優(yōu)化 PDF格式下載

---