注冊(cè) | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書經(jīng)濟(jì)管理管理人力資源管理轉(zhuǎn)軌中的福利、選擇和一致性：東歐國家衛(wèi)生部門改革

轉(zhuǎn)軌中的福利、選擇和一致性：東歐國家衛(wèi)生部門改革

轉(zhuǎn)軌中的福利、選擇和一致性：東歐國家衛(wèi)生部門改革

定　價(jià)：￥45.00

作　者： （匈）雅諾什·科爾奈（Janos Kornai），翁笙和（Karen Eggleston）著；羅淑錦譯
出版社： 中信出版社
叢編項(xiàng)： 比較譯叢
標(biāo)　簽： 福利
ISBN： 9787800734809 出版時(shí)間： 2003-05-12 包裝： 簡裝本
開本： 21cm 頁數(shù)： 255 字?jǐn)?shù)：  

內(nèi)容簡介

　　CarrollMorgan的《ProgrammingfromSpecifications》是一本著名教材，在世界許多重要大學(xué)，特別是歐洲各著名大學(xué)里廣泛使用。本書通常被作為第二門程序設(shè)計(jì)專門課程的教材，本書討論的是程序和程序設(shè)計(jì)本身。書中討論了一種嚴(yán)格的程序開發(fā)方法：首先分析問題，用嚴(yán)格方式寫出程序的規(guī)范，而后通過一系列具有嚴(yán)格理論基礎(chǔ)的推導(dǎo)，最終得到可以運(yùn)行的程序。本書的討論并不依賴于任何特定的程序設(shè)計(jì)語言（基本以常規(guī)的過程性語言為背景）。書中討論了與程序設(shè)計(jì)過程有關(guān)的許多基本概念，如規(guī)范和程序、精化法則、不變式、數(shù)據(jù)不變式、不同的抽象層次及其相互連接等等。本書這個(gè)第2版增加了許多新內(nèi)容和幾個(gè)較大的實(shí)例，包括一個(gè)電子郵件系統(tǒng)實(shí)例，其中相當(dāng)詳盡地討論了在實(shí)現(xiàn)一個(gè)系統(tǒng)的過程中所遇到的各種問題。本書適合大學(xué)計(jì)算機(jī)及其他相關(guān)專業(yè)的學(xué)生、研究生和教師閱讀參考，也值得那些希望進(jìn)一步提高自己對(duì)程序和程序設(shè)計(jì)的認(rèn)識(shí)的專業(yè)人員參考。

作者簡介

　　雅諾什·科爾奈，哈佛大學(xué)經(jīng)濟(jì)學(xué)教授，布達(dá)佩斯高級(jí)研究所終身研究員，世界經(jīng)濟(jì)學(xué)會(huì)現(xiàn)任會(huì)長。他發(fā)表了一系列著名的文章和專著，其中包括最近的《主路與輔路：社會(huì)主義改革和后社會(huì)主義轉(zhuǎn)型研究》、《掙扎與希望：一個(gè)后社會(huì)主義國家的改革和穩(wěn)定化文選》以及《論醫(yī)療保障改革》。科爾奈的《短缺經(jīng)濟(jì)學(xué)》一書及其有關(guān)中央計(jì)劃經(jīng)濟(jì)的諸多理論和論述影響了整整一代中國經(jīng)濟(jì)學(xué)人。翁笙和，在美國Tufts大學(xué)經(jīng)濟(jì)系教授衛(wèi)生經(jīng)濟(jì)學(xué)，美國哈佛大學(xué)肯尼迪政府學(xué)院研究員。她的研究領(lǐng)域包括：衛(wèi)生政策的比較分析、支付體制的激勵(lì)因素、中國的衛(wèi)生部門改革以及合理論。相關(guān)圖書全球貿(mào)易和國家利益沖突現(xiàn)代自由貿(mào)易資本主義的增長奇跡：自由市場創(chuàng)新機(jī)器

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.talentonion.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)