編程的修煉 A Discipline of Programming
Edsger W. Dijkstra
- 出版商: 人民郵電
- 出版日期: 2020-09-01
- 售價: $330
- 語言: 簡體中文
- 頁數: 213
- 裝訂: 平裝
- ISBN: 711551223X
- ISBN-13: 9787115512239
-
相關分類:
程式語言、軟體工程
- 此書翻譯自: A Discipline of Programming
已絕版
買這商品的人也買了...
-
程序員思維修煉 (修訂版)$294$279 -
$654CLR via C#, 4/e (簡體中文版) -
精通 Linux 內核網絡 (Linux Kernel Networking: Implementation and Theory)$594$564 -
$354C++ 程序設計實踐與技巧 : 測試驅動開發 (Modern C++ Programming with Test-Driven Development: Code Better, Sleep Better) -
$419網絡是怎樣連接的 (How Network works) -
$474游戲服務器架構與優化 -
$505PHP7 底層設計與源碼實現 -
$534自製編程語言 基於C語言 -
電腦網際網路, 7/e (國際版)(Computer Networking: A Top-Down Approach, 7/e)(附部分內容光碟)$680$612 -
$774深入 PHP 面向對象 , 模式與實踐 (PHP Objects, Patterns, and Practice, 5/e) -
電腦程序的構造和解釋, 2/e (典藏版) (Structure and Interpretation of Computer Programs, 2/e)$474$450 -
數位影像處理 (Gonzalez & Woods : Digital Image Processing, 4/e)$880$862 -
Redis 使用手冊$834$792 -
Java 遊戲服務器架構實戰$474$450 -
程序設計方法, 2/e$594$564 -
深入解析 C#, 4/e (C# in Depth, 4/e)$774$735 -
$653PHP 7 開發寶典, 4/e (PHP 7 Solutions: Dynamic Web Design Made Easy, 4/e) -
$509從 Java 到 Android 遊戲編程開發 -
$356C# 實踐入門：快捷學習 C# 編程和 Unity 遊戲開發, 4/e (Learning C# by Developing Games with Unity 2019, 4/e) -
C語言程序設計 : 現代方法, 2/e (修訂版)$779$740 -
深入淺出設計模式, 2/e (Head First Design Patterns: Building Extensible and Maintainable Object-Oriented Software, 2/e)$980$774 -
$709C語言入門經典, 6/e (Beginning C: From Beginner to Pro, 6/e) -
$1,760Introduction to Linear Algebra, 6/e (Hardcover) -
計算思維訓練 — 問題解決與算法設計$534$507 -
$327Unity 遊戲單位驅動開發
商品描述
本書是圖靈獎獲得者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
