從規(guī)范出發(fā)的程序設(shè)計

內(nèi)容概要

本書詳細(xì)地論述了有關(guān)規(guī)范程序設(shè)計的風(fēng)容，包括：程序和精化、謂詞演算、選擇、迭代、構(gòu)造類型、模塊和封裝等，最后幾章還包含了大量的實例研究和一些更高級的衙4設(shè)計技術(shù)。本書提倡一種嚴(yán)格的程序開發(fā)方法，分析問題要用嚴(yán)格方式寫出程序的規(guī)范，而后通過一系列具有嚴(yán)格理論基礎(chǔ)的推導(dǎo)，最終得到可以運行的程序。  本書是世上許多重要大學(xué)采用的教材，適于計算機(jī)及相關(guān)專業(yè)的本科生和研究生使用。

書籍目錄

第一章程序和精化  第一節(jié)傳統(tǒng)觀點  第二節(jié)一種新觀點  第三節(jié)程序作為契約：精化  第四節(jié)抽象程序  第五節(jié)可執(zhí)行程序  第六節(jié)混合程序  第七節(jié)不可行程序  第八節(jié)一些常見習(xí)慣用法  第九節(jié)幾個極端程序  第十節(jié)練習(xí)  第二章謂詞演算  第一節(jié)相關(guān)性  第二節(jié)項  第三節(jié)簡單公式  第四節(jié)命題公式  第五節(jié)量詞  第六節(jié)（一般）公式  第七節(jié)運算符的優(yōu)先級  第八節(jié)謂詞演算  第九節(jié)練習(xí)  第三章賦值和順序復(fù)合  第一節(jié)引言  第二節(jié)賦值  第三節(jié)開賦值  第四節(jié)skip命令   第五節(jié)順序復(fù)合  第六節(jié)賦值與復(fù)合的結(jié)合  第七節(jié)例：交換變量的值  第八節(jié)練習(xí)  第四章選擇   第一節(jié)操作性描述  第二節(jié)精化法則  第三節(jié)練習(xí)  第五章迭代  第一節(jié)操作性描述  第二節(jié)精化法則：非形式的  第三節(jié)迭代的終止性：變動量  第四節(jié)迭代的精化法則  第五節(jié)迭代的“核查表”  第六節(jié)練習(xí)  第六章類型和聲明  第一節(jié)類型  第二節(jié)聲明  第三節(jié)局部快  第四節(jié)類型與不變式的最后注記  第五節(jié)關(guān)于可行性的最后注記  第六節(jié)類型和不變式的檢查  第七節(jié)無定義的表達(dá)式  第八節(jié)練習(xí)  第七章實例研究：平方根  第一節(jié)抽象程序：出發(fā)點  第二節(jié)除去“外來”運算符  第三節(jié)尋找不變式  第四節(jié)練習(xí)  第八章初始變量  第一節(jié)簡單規(guī)范  第二節(jié)初始變量的精確化  第三節(jié)再看順序復(fù)合  第四節(jié)先導(dǎo)賦值  第五節(jié)練習(xí)  第九章構(gòu)造類型  第一節(jié)冪集  第二節(jié)包  第三節(jié)序列  第四節(jié)分配運算符  第五節(jié)函數(shù)  第六節(jié)關(guān)系  第七節(jié)練習(xí)  第十章實例研究：插入排序  第一節(jié)什么叫排序  第二節(jié)類似的前后條件   第三節(jié)減小變動量  第四節(jié)向上或向下迭代  第五節(jié)一個巧妙的不變式  第六節(jié)對序列賦值  第七節(jié)刪除局部不變式  第八節(jié)練習(xí)  第十一章過程和參數(shù)  第一節(jié)無參過程  第二節(jié)用值此做替換  第三節(jié)帶參數(shù)的過程  第四節(jié)對過程調(diào)用的精化  第五節(jié)多重替換  第六節(jié)值結(jié)果替換  第七節(jié)語法問題  第八節(jié)引用替換  第九節(jié)練習(xí)  第十二章實例研究：堆排序  第一節(jié)代碼的時間復(fù)雜性  第二節(jié)堆  第三節(jié)堆的收縮  第四節(jié)建堆  第五節(jié)過程Sift  第六節(jié)練習(xí)  第十三章遞歸過程  第一節(jié)部分正確性  第二節(jié)遞歸的變動量  第三節(jié)一個完整的例子  第四節(jié)跋：遞歸塊  第五節(jié)練習(xí)  第十四章實例研究：灰色編碼  第一節(jié)灰色編碼  第二節(jié)輸入輸出  第三節(jié)孤立的基礎(chǔ)情況  第四節(jié)練習(xí)  第十五章遞歸類型  第一節(jié)不相交并  第二節(jié)標(biāo)志測試  第三節(jié)對選擇的模式匹配  第四節(jié)類型聲明  第五節(jié)遞歸類型  第六節(jié)結(jié)構(gòu)序  第七節(jié)迭代中的模式匹配  第八節(jié)例子：樹的求和  第九節(jié)練習(xí)平共處 第十章模塊和封裝  第一節(jié)模塊聲速明  第二節(jié)引出的和局部的過程  第三節(jié)模塊的精化  第四節(jié)引入過程和變量  第五節(jié)定義模塊與實現(xiàn)模塊  第六節(jié)循環(huán)引出/引入  第七節(jié)代碼中的初始式  第八節(jié)練習(xí)  第十七章狀態(tài)變換和數(shù)據(jù)精化  第一節(jié)我們還不能證明什么  第二節(jié)狀態(tài)變換  第三節(jié)強(qiáng)制  第四節(jié)加入變量：擴(kuò)張  第五節(jié)刪除輔助變量：收縮  第六節(jié)數(shù)據(jù)精化的一個實例  第七節(jié)函數(shù)式抽象   第八節(jié)練習(xí)  第十八章實例研究：多數(shù)表決  第一節(jié)代碼精化  第二節(jié)贏得選舉  第三節(jié)直接開會得到平方型代碼  第四節(jié)第二個嘗試更快速  第五節(jié)代碼變換言之 第六節(jié)簡化的代碼  第七節(jié)練習(xí)  第十九章起源和總結(jié)  第二十章實例研究：分段問題  第一節(jié)均勻分段  第二節(jié)最小損耗  第三節(jié)生成均勻分段  第四節(jié)練習(xí)  第二十一章實例研究：直方圖的最大矩形  第一節(jié)做好基礎(chǔ)性的工作  第二節(jié)分治法  第三節(jié)強(qiáng)化不變式以恢復(fù)可行性  第四節(jié)引入遞歸  第五節(jié)包裝  第六節(jié)練習(xí)  第二十二章實例研究：一個mail系統(tǒng)  第一節(jié)第一個規(guī)范  第二節(jié)標(biāo)識符的重用  第三節(jié)第二個規(guī)范：重用  第四節(jié)第三個規(guī)范：延長  第五節(jié)第一個開發(fā)：異步發(fā)送  第六節(jié)第二步開發(fā)：收條  第七節(jié)最后的開發(fā)步驟：打包   第八節(jié)練習(xí)  第二十三章語義  第一節(jié)引言  第二節(jié)謂詞變換器  第三節(jié)語義定義  附錄A謂詞演算的一些法則  附錄B習(xí)題解答  附錄C法則匯編  參考文獻(xiàn)  索引

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    從規(guī)范出發(fā)的程序設(shè)計 PDF格式下載

---