編程的修煉 A Discipline of Programming

Edsger W. Dijkstra

  • 編程的修煉-preview-1
  • 編程的修煉-preview-2
編程的修煉-preview-1

買這商品的人也買了...

商品描述

本書是圖靈獎獲得者Edsger W. Dijkstra的最重要的著作,也是編程領域里經典著作中的經典。
作者基於其敏銳的洞察力和長期的實際編程經驗,對基本順序程序的描述和開發中的許多關鍵問題做了獨到的總結和開發。
本書討論了基本順序程序的本質特徵、程序描述和對程序行為(正確性)的推理,
並通過從簡單到復雜的一系列程序的思考和開發範例,闡釋了基於嚴格的邏輯推理開發正確而可靠的程序的過程。

本書寫於20世紀70年代後期,但其對於編程領域的技術開發,對於編程語言的發展和程序理論研究的深刻影響持續至今。
本書值得每一個關註電腦科學技術的本質,冀求在程序和軟件領域有長遠發展的電腦工作者、教師和學生閱讀。

作者簡介

Edsger Wybe Dijkstra

1930—2002 荷蘭人,計算機科學家,畢業就職於荷蘭Leiden大學,早年鑽研物理及數學,後轉向計算學。
他曾在1972年獲得圖靈獎,還獲得過1974年 AFIPS Harry Goode Memorial Award、
1989年ACM SIGCSE計算機科學教育教學傑出貢獻獎以及2002年ACM PODC最具影響力論文獎。

目錄大綱

第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