編程的修煉

定　價(jià)：￥55.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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