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

內(nèi)容概要

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

書(shū)籍目錄

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

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

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

---