計(jì)算機(jī)程序的構(gòu)造和解釋：原書第2版

定　價(jià)：￥45.00

作　者：	（美）Harold Abelson等著；裘宗燕譯；裘宗燕譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書
標(biāo)　簽：	計(jì)算機(jī)理論計(jì)算機(jī)/網(wǎng)絡(luò)

購買這本書可以去

ISBN：	9787111135104	出版時(shí)間：	2004-02-01	包裝：	膠版紙
開本：	26cm	頁數(shù)：	473	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書1984年出版，成型于美國麻省理工學(xué)院（MIT）多年使用的一本教材，1996年修訂為第2版。在過去的二十多年里，本書對(duì)于計(jì)算機(jī)科學(xué)的教育計(jì)劃產(chǎn)生了深刻的影響。第2版中大部分重要程序設(shè)計(jì)系統(tǒng)都重新修改并做過測(cè)試，包括各種解釋器和編譯器。作者根據(jù)其后十余年的教學(xué)實(shí)踐，還對(duì)其他許多細(xì)節(jié)做了相應(yīng)的修改。本書自出版以來，世界各地已有100多所院校采用本書做教材，其中包括美國斯坦福大學(xué)、美國普林斯頓大學(xué)、英國牛津大學(xué)、日本東京大學(xué)等。相關(guān)網(wǎng)站有本書源代碼及其他教輔資料，網(wǎng)址為：www-mitpress．mit.edu／sicp／作者簡(jiǎn)介：HaroldAbelson是MIT1992年度MacVicarFacultyFellow。GeraldJaySussman是Matsushita電子工程教授。他們都在MIT電子工程和計(jì)算機(jī)科學(xué)系工作．都得到過最重要的計(jì)算機(jī)科學(xué)教育獎(jiǎng)：如Abelson得到了IEEE計(jì)算機(jī)學(xué)會(huì)的Booth獎(jiǎng)。Sussman得到了ACM的Karlstrom獎(jiǎng)。JulieSussman是作家和編輯，同時(shí)使用自然語言和計(jì)算機(jī)語言寫作。每一位嚴(yán)肅的計(jì)算機(jī)科學(xué)家都應(yīng)該閱讀這本書。由于本書清晰、簡(jiǎn)潔和富于才智，我們強(qiáng)烈推薦本書，它適合所有希望深刻理解計(jì)算機(jī)科學(xué)的人們?！狹itchellWand《美國科學(xué)家》雜志譯者的相關(guān)作品：《C++程序設(shè)計(jì)語言（特別版）》《程序設(shè)計(jì)語言：概念......》《C++語言的設(shè)計(jì)和演化》《從規(guī)范出發(fā)的程序設(shè)計(jì)....》《程序設(shè)計(jì)實(shí)踐》《從規(guī)范出發(fā)的程序設(shè)計(jì)》《C++程序設(shè)計(jì)語言題解》《科學(xué)程序設(shè)計(jì)引論——用Mathematica和C求解計(jì)算問題》

作者簡(jiǎn)介

　　Harold Abelson是MIT1992年度MacVicarFacultyFellow。Gerald JaySussman是Matsushita電子工程教授。他們都在MIT電子工程和計(jì)算機(jī)科學(xué)系工作．都得到過最重要的計(jì)算機(jī)科學(xué)教育獎(jiǎng)：如Abelson得到了IEEE計(jì)算機(jī)學(xué)會(huì)的Booth獎(jiǎng)。Sussman得到了ACM的Karlstrom獎(jiǎng)。Julie Sussman是作家和編輯，同時(shí)使用自然語言和計(jì)算機(jī)語言寫作。

圖書目錄

第1章  構(gòu)造過程抽象
1.1程序設(shè)計(jì)的基本元素
1.1.1表達(dá)式
1.1.2命名和環(huán)境
1.1.3組合式的求值
1.1.4復(fù)合過程
1.1.5過程應(yīng)用的代換模型
1.1.6條件表達(dá)式和謂詞
1.1.7實(shí)例：采用牛頓法求平方根
1.1.8過程作為黑箱抽象
1.2過程與它們所產(chǎn)生的計(jì)算
1.2.1線性的遞歸和迭代
1.2.2樹形遞歸
1.2.3增長(zhǎng)的階
1.2.4求冪
1.2.5最大公約數(shù)
1.2.6實(shí)例：素?cái)?shù)檢測(cè)
1.3用高階函數(shù)做抽象
1.3.1過程作為參數(shù)
1.3.2用lambda構(gòu)造過程
1.3.3過程作為一般性的方法
1.3.4過程作為返回值
笫2章  構(gòu)造數(shù)據(jù)抽象
2.1數(shù)據(jù)抽象導(dǎo)引
2.1.1實(shí)例：有理數(shù)的算術(shù)運(yùn)算
2.1.2抽象屏障
2.1.3數(shù)據(jù)意味著什么
2.1.4擴(kuò)展練習(xí)：區(qū)間算術(shù)
2.2層次性數(shù)據(jù)和閉包性質(zhì)
2.2.1序列的表示
2.2.2層次性結(jié)構(gòu)
2.2.3序列作為一種約定的界面
2.2.4實(shí)例：一個(gè)圖形語言
2.3符號(hào)數(shù)據(jù)
2.3.1引號(hào)
2.3.2實(shí)例：符號(hào)求導(dǎo)
2.3.3實(shí)例：集合的表示
2.3.4實(shí)例：Huffman編碼樹
2.4抽象數(shù)據(jù)的多重表示
2.4.1復(fù)數(shù)的表示
2.4.2帶標(biāo)志數(shù)據(jù)
2.4.3數(shù)據(jù)導(dǎo)向的程序設(shè)計(jì)和可加性
2.5帶有通用型操作的系統(tǒng)
2.5.1通用型算術(shù)運(yùn)算
2.5.2不同類型數(shù)據(jù)的組合
2.5.3實(shí)例：符號(hào)代數(shù)
第3章  模塊化.對(duì)象和狀態(tài)
3.1賦值和局部狀態(tài)
3.1.1局部狀態(tài)變量
3.1.2引進(jìn)賦值帶來的利益
3.1.3引進(jìn)賦值的代價(jià)
3.2求值的環(huán)境模型
3.2.1求值規(guī)則
3.2.2簡(jiǎn)單過程的應(yīng)用
3.2.3將框架看作局部狀態(tài)的展臺(tái)
3.2.4內(nèi)部定義
3.3用變動(dòng)數(shù)據(jù)做模擬
3.3.1變動(dòng)的表結(jié)構(gòu)
3.3.2隊(duì)列的表示
3.3.3表格的表示
3.3.4數(shù)字電路的模擬器
3.3.5約束的傳播
3.4并發(fā)：時(shí)間是一個(gè)本質(zhì)問題
3.4.1并發(fā)系統(tǒng)中時(shí)間的性質(zhì)
3.4.2控制并發(fā)的機(jī)制
3.5流
3.5.1流作為延時(shí)的表
3.5.2無窮流
3.5.3流計(jì)算模式的使用
3.5.4流和延時(shí)求值
3.5.5  函數(shù)式程序的模塊化和對(duì)象的模塊化
第4章  元語言抽象
4.1元循環(huán)求值器
4.1.1求值器的內(nèi)核
4.1.2表達(dá)式的表示
4.1.3求值器數(shù)據(jù)結(jié)構(gòu)
4.1.4作為程序運(yùn)行這個(gè)求值器
4.1.5將數(shù)據(jù)作為程序
4.1.6內(nèi)部定義
4.1.7將語法分析與執(zhí)行分離
4.2Scheme的變形--惰性求值
4.2.1正則序和應(yīng)用序
4.2.2一個(gè)采用惰性求值的解釋器
4.2.3將流作為惰性的表
4.3Scheme的變形--非確定性計(jì)算
4.3.1amb和搜索
4.3.2非確定性程序的實(shí)例
4.3.3實(shí)現(xiàn)arab求值器
4.4邏輯程序設(shè)計(jì)
4.4.1演繹信息檢索
4.4.2查詢系統(tǒng)如何工作
4.4.3邏輯程序設(shè)計(jì)是數(shù)理邏輯嗎
4.4.4查詢系統(tǒng)的實(shí)現(xiàn)
第5章  寄存器機(jī)器里的計(jì)算
5.1寄存器機(jī)器的設(shè)計(jì)
5.1.1一種描述寄存器機(jī)器的語言
5.1.2機(jī)器設(shè)計(jì)的抽象
5.1.3子程序
5.1.4采用堆棧實(shí)現(xiàn)遞歸
5.1.5指令總結(jié)
5.2一個(gè)寄存器機(jī)器模擬器
5.2.1機(jī)器模型
5.2.2匯編程序
5.2.3為指令生成執(zhí)行過程
5.2.4監(jiān)視機(jī)器執(zhí)行
5.3存儲(chǔ)分配和廢料收集
5.3.1將存儲(chǔ)看作向量
5.3.2維持一種無窮存儲(chǔ)的假象
5.4顯式控制的求值器
5.4.1顯式控制求值器的內(nèi)核
5.4.2序列的求值和尾遞歸
5.4.3條件.賦值和定義
5.4.4求值器的運(yùn)行
5.5  編譯
5.5.1編譯器的結(jié)構(gòu)
5.5.2表達(dá)式的編譯
5.5.3組合式的編譯
5.5.4指令序列的組合
5.5.5編譯代碼的實(shí)例
5.5.6詞法地址
5.5.7編譯代碼與求值器的互連
參考文獻(xiàn)
練習(xí)表
索引