本書是圖靈獎(jiǎng)獲得者Edsger W. Dijkstra在編程領(lǐng)域里的經(jīng)典著作中的經(jīng)典。作者基于其敏銳的洞察力和長(zhǎng)期的實(shí)際編程經(jīng)驗(yàn)，對(duì)基本順序程序的描述和開(kāi)發(fā)中的許多關(guān)鍵問(wèn)題做了獨(dú)到的總結(jié)和開(kāi)發(fā)。書中討論了順序程序的本質(zhì)特征、程序描述和對(duì)程序行為（正確性）的推理，并通過(guò)一系列從簡(jiǎn)單到復(fù)雜的程序的思考和開(kāi)發(fā)范例，闡釋了基于嚴(yán)格的邏輯推理開(kāi)發(fā)正確可靠程序的過(guò)程。
本書寫于20世紀(jì)70年代中后期，但其對(duì)編程技術(shù)領(lǐng)域的開(kāi)發(fā)、編程語(yǔ)言發(fā)展和程序理論研究的深刻影響持續(xù)至今。本書值得每個(gè)關(guān)注計(jì)算機(jī)科學(xué)技術(shù)的本質(zhì)，冀求在程序和軟件領(lǐng)域有長(zhǎng)遠(yuǎn)發(fā)展的計(jì)算機(jī)工作者、教師和學(xué)生閱讀。
作者簡(jiǎn)介
作者簡(jiǎn)介：
艾茲赫爾?戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷蘭鹿特丹，自喻為荷蘭第一個(gè)以程序設(shè)計(jì)作為職業(yè)的人。他早年積極推動(dòng)結(jié)構(gòu)化程序設(shè)計(jì)，一生致力于將計(jì)算（computing）發(fā)展為一門科學(xué)，在計(jì)算機(jī)科學(xué)技術(shù)的諸多領(lǐng)域有開(kāi)拓性建樹(shù)，并由于在程序設(shè)計(jì)基礎(chǔ)研究中的卓越貢獻(xiàn)獲得1972年圖靈獎(jiǎng)。
目錄：
序IX
前言XI
第0章 執(zhí)行抽象1
第1章 編程語(yǔ)言的作用13
第2章 狀態(tài)及其特征19
第3章 語(yǔ)義的性質(zhì)29
第4章 一種編程語(yǔ)言的語(yǔ)義特征47
第5章 兩個(gè)定理73
第6章 論完滿終止結(jié)構(gòu)的設(shè)計(jì)81
第7章 再論歐幾里得算法89
第8章 幾個(gè)小例子的形式化處理101
第9章 論受限的非確定性143
第10章 有關(guān)記法的短論：“變量的作用域”157
第11章 數(shù)組變量187
第12章 線性檢索定理209
第13章 下一個(gè)排列213
第14章 荷蘭國(guó)旗問(wèn)題221
第15章 更新順序文件233
第16章 再論歸并245
第17章 來(lái)自R.W.HAMMING的一個(gè)練習(xí)257
第18章 模式匹配問(wèn)題269
第19章 將一個(gè)數(shù)寫成兩個(gè)平方之和279
第20章 大數(shù)的最小素因子問(wèn)題285
第21章 最孤立村莊問(wèn)題297
第22章 最短子支撐樹(shù)問(wèn)題307
第23章 記錄等價(jià)類的REM算法321
第24章 三維空間的凸包問(wèn)題335
第25章 有向圖的最大強(qiáng)連通分支383
第26章 論手冊(cè)和實(shí)現(xiàn)401
第27章 跋417
|
