編程的修煉（中英雙語）

定　價：￥79.00

作　者：	Edsger W. Dijkstra（艾茲赫爾·戴克斯特拉）
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	程序設計計算機/網絡

購買這本書可以去

ISBN：	9787121202506	出版時間：	2013-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	456	字數(shù)：

內容簡介

　　本書是圖靈獎獲得者Edsger W. Dijkstra在編程領域里的經典著作中的經典。作者基于其敏銳的洞察力和長期的實際編程經驗，對基本順序程序的描述和開發(fā)中的許多關鍵問題做了獨到的總結和開發(fā)。書中討論了順序程序的本質特征、程序描述和對程序行為（正確性）的推理，并通過一系列從簡單到復雜的程序的思考和開發(fā)范例，闡釋了基于嚴格的邏輯推理開發(fā)正確可靠程序的過程。本書寫于20世紀70年代中后期，但其對編程技術領域的開發(fā)、編程語言發(fā)展和程序理論研究的深刻影響持續(xù)至今。本書值得每個關注計算機科學技術的本質，冀求在程序和軟件領域有長遠發(fā)展的計算機工作者、教師和學生閱讀。

作者簡介

　　艾茲赫爾·戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷蘭鹿特丹，自喻為荷蘭第一個以程序設計作為職業(yè)的人。他早年積極推動結構化程序設計，一生致力于將計算（computing）發(fā)展為一門科學，在計算機科學技術的諸多領域有開拓性建樹，并由于在程序設計基礎研究中的卓越貢獻獲得1972年圖靈獎。譯者簡介：裘宗燕，北京大學數(shù)學學院教授。主要研究興趣是軟件形式化方法和程序設計的理論基礎，也關注程序設計實踐。翻譯過若干相關著作，包括《從規(guī)范出發(fā)的程序設計》、《B方法》、《編程原本》、《計算機程序的構造和解釋》、《C++語言的設計和演化》等。

圖書目錄

序 IX
前言 XI
第0章執(zhí)行抽象 1
第1章編程語言的作用 13
第2章狀態(tài)及其特征 19
第3章語義的性質 29
第4章一種編程語言的語義特征 47
第5章兩個定理 73
第6章論完滿終止結構的設計 81
第7章再論歐幾里得算法 89
第8章幾個小例子的形式化處理 101
第9章論受限的非確定性 143
第10章有關記法的短論：“變量的作用域” 157
第11章數(shù)組變量 187
第12章線性檢索定理 209
第13章下一個排列 213
第14章荷蘭國旗問題 221
第15章更新順序文件 233
第16章再論歸并 245
第17章來自R.W.HAMMING的一個練習 257
第18章模式匹配問題 269
第19章將一個數(shù)寫成兩個平方之和 279
第20章大數(shù)的最小素因子問題 285
第21章最孤立村莊問題 297
第22章最短子支撐樹問題 307
第23章記錄等價類的REM算法 321
第24章三維空間的凸包問題 335
第25章有向圖的最大強連通分支 383
第26章論手冊和實現(xiàn) 401
第27章跋 417