編程的修煉

定　價：￥55.00

作　者：	[荷蘭] 艾茲格·W.迪杰斯特拉著，裘宗燕譯
出版社：	人民郵電出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787115512239	出版時間：	2020-09-01	包裝：	平裝
開本：	16開	頁數(shù)：	213	字數(shù)：

內(nèi)容簡介

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

作者簡介

　　艾茲格 W.迪科斯徹（Edsger Wybe Dijkstra，1930—2002），荷蘭人，計算機科學家，畢業(yè)就職于荷蘭Leiden大學，早年鉆研物理及數(shù)學，后轉(zhuǎn)向計算學。他曾在1972年獲得圖靈獎，還獲得過1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE計算機科學教育教學杰出貢獻獎以及2002年ACM PODC**影響力論文獎。

圖書目錄

第0章　執(zhí)行抽象\t1
第　1章編程語言的作用　6
第　2章狀態(tài)及其特征　9
第3章　語義的性質(zhì)　14
第4章　一種編程語言的語義特征　22
第5章　兩個定理　35
第6章　論完滿終止結(jié)構(gòu)的設(shè)計　39
第7章　再論歐幾里得算法　43
第8章　幾個小例子的形式化處理　49
第9章　論受限的非確定性　70
第　10章簡論記法：“變量的作用域”　77
第　11章數(shù)組變量　92
第　12章線性檢索定理　103
第　13章下一個排列　105
第　14章荷蘭國旗問題　109
第　15章更新順序文件　115
第　16章再論歸并　121
第　17章 R．W．HAMMING貢獻的一個練習　127
第　18章模式匹配問題　133
第　19章將一個數(shù)寫成兩個平方之和　139
第　20章大數(shù)的最小素因子　142
第　21章最孤立村莊問題　148
第　22章最短子支撐樹問題　153
第　23章記錄等價類的REM算法　160
第　24章三維空間的凸包問題　167
第　25章有向圖的最大強連通分支　190
第　26章論手冊和實現(xiàn)　199
跋　206