本書係統討論瞭程序設計的基本理論;分析瞭程序設計基本理論不斷發展和完善的過程,重點論述瞭結構程序設計和麵嚮對象程序設計的基本原理和方法,因而使程序的開發和運用更和科學有效,並嚮更高層次發展;強調說明瞭隻有依據基本原則和方法,纔能開發齣可靠高效的結構程序。
本書由三個部分共12章組成,第一章為引論,闡述瞭計算機求解問題的過程和原則,第二章至第五章為第一部分,論述瞭程序設計語言的控製結構與有限自動機、下推自動機、圖靈機模型等傳統計算模型的等價性;第六章至第九章為第二部分,討論瞭數據結構的理論模型、數據類型的定認和錶示方法,重點說明瞭抽象數據類型的定義、封裝及其在程序語言中的錶示與實現,第十章至第十二章為第三部分,討信紙瞭程序的算法設計、程序正確性證明及其算法的復雜性問題。
本書適用於計算機本科高年級學生、研究生程序設計方法學課程的教材和從事軟件科學的研究人員與高級人員與高級工程人員使用。
發表於2024-11-26
程序設計方法學 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機 程序設計方法學 程序設計 數學 我想我死瞭就是這本書害的
程序設計方法學 2024 pdf epub mobi 電子書 下載