程序設(shè)計(jì)方法與優(yōu)化

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

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

---