出版社：人民郵電出版社 ISBN：9787115512239 版次：01 商品編碼：12967584 品牌：異步圖書 包裝：平裝 開本：16開 出版時間：2020-09-01 頁數：213 正文語種：中文 作者：艾茲格·,W.,迪傑斯特拉（Edsger,W.,Dijkstra）,裘宗燕
" 編輯推薦 1.作者艾茲格·W. 迪傑斯特拉（Edsger W. Dijkstra）是計算機科學奠基人之一，圖靈獎獲得者，是編程界的先驅、傳奇級人物；
2.本書是作者重要的著作，也是計算機學科經典圖書，暢銷多年；
3.本書寫於20世紀70年代後期，但其對於編程領域的技術開發，對於編程語言的發展和程序理論研究的深刻影響持續至今；
4.內容嚴謹，邏輯清晰，書中體現的思想對所有的編程人員起到啟示指引的作用。 內容簡介 本書是圖靈獎獲得者艾茲格·W. 迪傑斯特拉（Edsger W. Dijkstra）的最重要的著作，也是編程領域裡經典著作中的經典。作者基於其敏銳的洞察力和長期的實際編程經驗，對基本順序程序的描述和開發中的許多關鍵問題做了獨到的總結和開發。本書討論了基本順序程序的本質特征、程序描述和對程序行為（正確性）的推理，並通過從簡單到復雜的一繫列程序的思考和開發範例，闡釋了基於嚴格的邏輯推理開發正確而可靠的程序的過程。
本書寫於20世紀70年代後期，但其對於編程領域的技術開發，對於編程語言的發展和程序理論研究的深刻影響持續至今。本書值得每一個關注計算機科學技術的本質，冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。 作者簡介 艾茲格 W.迪科斯徹 （Edsger Wybe Dijkstra，1930—2002），荷蘭人，計算機科學家，畢業就職於荷蘭Leiden大學，早年鑽研物理及數學，後轉向計算學。他曾在1972年獲得圖靈獎，還獲得過1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE計算機科學教育教學傑出貢獻獎以及2002年ACM PODC**影響力論文獎。 目錄 第0章執行抽像\t1
第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 查看全部↓
" | 
