編程的修煉 ( 簡體 字) |
作者:[荷蘭]艾茲格· W. 迪杰斯特拉(Edsger W. Dijkstra) | 類別:1. -> 程式設計 -> 綜合 |
譯者: |
出版社:人民郵電出版社 | 3dWoo書號: 53344 詢問書籍請說出此書號!【有庫存】 NT售價: 275 元 |
出版日:9/1/2020 |
頁數:213 |
光碟數:0 |
|
站長推薦: |
印刷:黑白印刷 | 語系: ( 簡體 版 ) |
|
加入購物車 │加到我的最愛 (請先登入會員) |
ISBN:9787115512239 |
作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
(簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
作者序: |
譯者序: |
前言: |
內容簡介:本書是圖靈獎獲得者艾茲格·W. 迪杰斯特拉(Edsger W. Dijkstra)的最重要的著作,也是編程領域里經典著作中的經典。作者基于其敏銳的洞察力和長期的實際編程經驗,對基本順序程序的描述和開發中的許多關鍵問題做了獨到的總結和開發。本書討論了基本順序程序的本質特征、程序描述和對程序行為(正確性)的推理,并通過從簡單到復雜的一系列程序的思考和開發范例,闡釋了基于嚴格的邏輯推理開發正確而可靠的程序的過程。 本書寫于20世紀70年代后期,但其對于編程領域的技術開發,對于編程語言的發展和程序理論研究的深刻影響持續至今。本書值得每一個關注計算機科學技術的本質,冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。 |
目錄:第0章 執行抽象 1 第 1章 編程語言的作用 6 第 2章 狀態及其特征 9 第3章 語義的性質 14 第4章 一種編程語言的語義特征 22 第5章 兩個定理 35 第6章 論完滿終止結構的設計 39 第7章 再論歐幾里得算法 43 第8章 幾個小例子的形式化處理 49 第9章 論受限的非確定性 70 第 10章 簡論記法:“變量的作用域” 77 第 11章 數組變量 92 第 12章 線性檢索定理 103 第 13章 下一個排列 105 第 14章 荷蘭國旗問題 109 第 15章 更新順序文件 115 第 16章 再論歸并 121 第 17章 R.W.HAMMING貢獻的一個練習 127 第 18章 模式匹配問題 133 第 19章 將一個數寫成兩個平方之和 139 第 20章 大數的最小素因子 142 第 21章 最孤立村莊問題 148 第 22章 最短子支撐樹問題 153 第 23章 記錄等價類的REM算法 160 第 24章 三維空間的凸包問題 167 第 25章 有向圖的最大強連通分支 190 第 26章 論手冊和實現 199 跋 206 |
序: |