注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)計算機(jī)/網(wǎng)絡(luò)軟件與程序設(shè)計程序設(shè)計綜合程序設(shè)計方法學(xué)

程序設(shè)計方法學(xué)

程序設(shè)計方法學(xué)

定 價:¥16.50

作 者: 李傳湘 等編著
出版社: 武漢大學(xué)出版社
叢編項: 大學(xué)計算機(jī)專業(yè)教程
標(biāo) 簽: 計算機(jī)理論

ISBN: 9787307031050 出版時間: 2006-07-01 包裝: 膠版紙
開本: 小32開 頁數(shù): 331 字?jǐn)?shù):  

內(nèi)容簡介

  《程序設(shè)計方法學(xué)》系統(tǒng)討論了程序設(shè)計的基本理論;分析了程序設(shè)計基本理論不斷發(fā)展和完善的過程,重占論述了結(jié)構(gòu)程序設(shè)計和面向?qū)ο蟪绦蛟O(shè)計的基本原理和方法,因而使程序的開發(fā)和運(yùn)用更和科學(xué)有效,并向更高層次發(fā)展;強(qiáng)調(diào)說明了只有依據(jù)基本原則和方法,才能開發(fā)出可靠高效的良結(jié)構(gòu)程序?!冻绦蛟O(shè)計方法學(xué)》由三個部分共12章組成,第一章為引論,闡述了計算機(jī)求解問題的過程和原則,第二章至第五章為第一部分,論述了程序設(shè)計語言的控制結(jié)構(gòu)與有限自動機(jī)、下推自動機(jī)、圖靈機(jī)模型等傳統(tǒng)計算模型的等價性;第六章至第九章為第二部分,討論了數(shù)據(jù)結(jié)構(gòu)的理論模型、數(shù)據(jù)類型的定認(rèn)和表示方法,重點(diǎn)說明了抽象數(shù)據(jù)類型的定義、封裝及其在程序語言中的表示與實(shí)現(xiàn),第十章至第十二章為第三部分,討信紙了程序的算法設(shè)墳、程序正確性證明及其算法的復(fù)雜性問題?!冻绦蛟O(shè)計方法學(xué)》適用于計算機(jī)本科高年級學(xué)生、研究生程序設(shè)計方法學(xué)課程的教材和從事軟件科學(xué)的研究人員與高級人員與高級工程人員使用。

作者簡介

圖書目錄

第一章 引論
  1 引言
  2 問題求解的可行性
  3 問題求解的基本原則
  4 抽象化概念
  5 小結(jié)
  習(xí)題一
第一部分 控制部分
  第二章 有限自動(FA)模型
    1 引言
    2 有限自動機(jī)的定義
    3 有限自動機(jī)的數(shù)字模型
    4 FA的表示
    5 有限狀態(tài)識別器(FSR)與限狀態(tài)生成器(FSG)
    6 不確定的FA(NDFA)
    7 正夫表不定期工及正則語言
    8 正規(guī)表達(dá)式與FA的等價性
    9 計算能力
    10 小結(jié)
    習(xí)題二
  第三章 下推自動(PDA)模型
    1 引言
    2 PDA的定義與表示
    3 產(chǎn)生式文法
    4 CHF文法
    5 PDA的計算能力
    6 小結(jié)
    習(xí)題三
第四章 圖靈機(jī)(TM)模型
……
第五章 其他控制模型
第二部分 基本數(shù)據(jù)結(jié)構(gòu)
第六章 數(shù)據(jù)的數(shù)字模型
第七章 程序設(shè)計語言的數(shù)據(jù)對象
第八章 抽象數(shù)據(jù)類型
第九章 抽象數(shù)據(jù)類型封裝
第三部分 程序
第十章 算法
第十一章 程序正確性分析與證明
第十二章 計算復(fù)雜分析與估算
參考文獻(xiàn)

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號