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

內(nèi)容概要

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

作者簡介

李傳湘，1933年生，湖北省監(jiān)利縣人，武漢大不社算機科學(xué)學(xué)院教授，享受國務(wù)院政府特殊津貼，1957年武漢大不數(shù)不系畢業(yè)，1961年組織設(shè)計了我國第一臺電子很容易M—2計算機，1967年主持研制了第一臺電容式數(shù)字磁帶存儲機，1978年獲國家科學(xué)大會獎，1992年主持完成了國家自然科學(xué)基金課題“模糊信息處理各序設(shè)計”。在樹信息流、計算樹結(jié)構(gòu)、軟件結(jié)構(gòu)、人工智能計算、模糊邏輯與模糊信息系統(tǒng)等計算機科學(xué)理論方面均有較深的造詣，取得一系列重大科研成果，發(fā)表論文30余篇，出版專著3部。

書籍目錄

第一章 引論  1 引言  2 問題求解的可行性  3 問題求解的基本原則  4 抽象化概念  5 小結(jié)  習(xí)題一第一部分 控制部分  第二章 有限自動（FA）模型    1 引言    2 有限自動機的定義    3 有限自動機的數(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í)題三第四章 圖靈機（TM）模型……第五章 其他控制模型第二部分 基本數(shù)據(jù)結(jié)構(gòu)第六章 數(shù)據(jù)的數(shù)字模型第七章 程序設(shè)計語言的數(shù)據(jù)對象第八章 抽象數(shù)據(jù)類型第九章 抽象數(shù)據(jù)類型封裝第三部分 程序第十章 算法第十一章 程序正確性分析與證明第十二章 計算復(fù)雜分析與估算參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    程序設(shè)計方法學(xué) PDF格式下載

---