計(jì)算機(jī)程序的構(gòu)造和解釋 pdf高清版計(jì)算機(jī)程序的構(gòu)造和解釋下載

計(jì)算機(jī)程序的構(gòu)造和解釋是一款清晰、簡(jiǎn)潔和富于才智的電子書籍，它適合所有希望深刻理解計(jì)算機(jī)科學(xué)的人們！有需要的歡迎下載使用！

計(jì)算機(jī)程序的構(gòu)造和解釋介紹

《計(jì)算機(jī)程序的構(gòu)造和解釋(第2版)》1984年出版，成型于美國麻省理工學(xué)院(MIT)多年使用的一本教材，1996年修訂為第2版。在過去的二十多年里，《計(jì)算機(jī)程序的構(gòu)造和解釋(原書第2版)》對(duì)于計(jì)算機(jī)科學(xué)的教育計(jì)劃產(chǎn)生了深刻的影響。第2版中大部分重要程序設(shè)計(jì)系統(tǒng)都重新修改并做過測(cè)試，包括各種解釋器和編譯器。作者根據(jù)其后十余年的教學(xué)實(shí)踐，還對(duì)其他許多細(xì)節(jié)做了相應(yīng)的修改。

計(jì)算機(jī)程序的構(gòu)造和解釋目錄

出版者的話

專家指導(dǎo)委員會(huì)

序

第2版前言

第1版前言

致謝

第1章 構(gòu)造過程抽象

1.1 程序設(shè)計(jì)的基本元素

1.2 過程與它們所產(chǎn)生的計(jì)算

1.3 用高階函數(shù)做抽象

第2章 構(gòu)造數(shù)據(jù)現(xiàn)象

2.1 數(shù)據(jù)抽象導(dǎo)引

2.2 層次性數(shù)據(jù)和閉包性質(zhì)

2.3 符號(hào)數(shù)據(jù)

2.4 抽象數(shù)據(jù)的多重表示

2.5 帶有通用型操作的系統(tǒng)

第3章 模塊化、對(duì)象和狀態(tài)

3.1 賦值和局部狀態(tài)

3.2 求值的環(huán)境模型

3.3 用變動(dòng)數(shù)據(jù)做模擬

3.4 并發(fā)：時(shí)間是一個(gè)本質(zhì)問題

3.5 流

第4章 元語言抽象

4.1 元循環(huán)求值器

4.2 Scheme的變形——惰性求值

4.3 Scheme的變形——非確定性計(jì)算

4.4 邏輯程序設(shè)計(jì)

第5章 寄存器機(jī)器里的計(jì)算

5.1 寄存器機(jī)器的設(shè)計(jì)

5.2 一個(gè)寄存器機(jī)器模擬器

5.3 存儲(chǔ)分配和廢料收集

5.4 顯式控制的求值器

5.5 編譯

參考文獻(xiàn)

練習(xí)表

索引

計(jì)算機(jī)程序的構(gòu)造和解釋電子書作者簡(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ī)語言寫作。

網(wǎng)友點(diǎn)評(píng)

1. 涵蓋面很廣。從數(shù)據(jù)抽象、過程抽象、迭代、高階函數(shù)等編程和控制系統(tǒng)復(fù)雜性的思想，到數(shù)據(jù)結(jié)構(gòu)和算法，到編譯器/解釋器、編程語言設(shè)計(jì)。MIT這門課的課程講義(在MIT OCW里可找到)里還增加了面向?qū)ο缶幊痰膬?nèi)容。雖然很多內(nèi)容涉及并不深入，但是這是MIT EECS(電子工程與計(jì)算機(jī)科學(xué)系)的第一門專業(yè)基礎(chǔ)課(6.001)，也就是說MIT計(jì)算機(jī)專業(yè)的學(xué)生在進(jìn)入大學(xué)之后，在這門課之前沒有上過其它編程、軟件、計(jì)算機(jī)方面的課程。從這個(gè)角度看，起點(diǎn)是非常高的。其它大學(xué)的學(xué)生在倒騰C語言的時(shí)候，MIT的學(xué)生在思考設(shè)計(jì)語言和系統(tǒng)。

2. 用解釋語言而不是編譯語言來闡述思想，簡(jiǎn)化了數(shù)據(jù)類型、運(yùn)行環(huán)境相關(guān)的一些細(xì)節(jié)，另外Scheme/Lisp有著極其簡(jiǎn)練、但功能極其強(qiáng)大和靈活的語法，這些都使閱讀者更多地將精力集中在思想上，而不是語法細(xì)節(jié)上，頗為適合學(xué)習(xí)，只是Scheme的執(zhí)行效率可能較低，表達(dá)力可能不夠”豐富“，不一定適合于實(shí)際開發(fā)。

3. MIT OCW 6.001里有幾個(gè)project，都很有意思。其中一個(gè)是設(shè)計(jì)一個(gè)類似于Google使用的web爬蟲!雖然實(shí)際上沒這么可怕，做了很多簡(jiǎn)化，集中在樹的遍歷與索引表的建立和查詢上，但是仍然可以從中看出教授的視野和對(duì)學(xué)生的要求。

4. 現(xiàn)在MIT EECS已經(jīng)取消了這門課，6.001的EECS介紹性功能被6.01和6.02兩門課程替代，另外新增了6.005(軟件)，6.006(算法)，是不是因?yàn)?.001起點(diǎn)太高或有點(diǎn)偏呢?(對(duì)于EE方向的學(xué)生來說似乎有點(diǎn)偏。)盡管如此，作為一門在MIT EECS教授了20多年的經(jīng)典課程，仍然有其價(jià)值。

5. MIT EECS沒有專門教授C、C++、Java等編程語言的課，一般都是要求學(xué)生用很短的時(shí)間自學(xué)。比如6.004要用到C，6.005要用到Java，6.006要用的Python，教授會(huì)要求學(xué)生在課程開始的幾個(gè)星期內(nèi)自學(xué)掌握這些語言。

6. SICP中譯本翻譯有些問題。比如表述符號(hào)(變量)和值的binding關(guān)系時(shí)，binding一詞應(yīng)翻譯成“綁定”，而不是“約束”。

7. MIT Scheme相當(dāng)難用，簡(jiǎn)直是石器時(shí)代的開發(fā)工具：)(指編輯和解釋器，不是語言)。

8.有人說看這本書主要看第四第五章。這不是一件容易的事情，尤其對(duì)于我們這個(gè)計(jì)算機(jī)教育落后的國家。好在還有平易近人的一二三章，基本上可以在網(wǎng)上找全習(xí)題答案。

9.有人說scheme是程序設(shè)計(jì)語言中的皇后，更多的人從來沒見過這條恐龍。打工族翻上幾頁后的第一個(gè)感覺是，這本書到底有什么用?如果你對(duì)數(shù)據(jù)結(jié)構(gòu)算法編譯原理模塊設(shè)計(jì)足夠自信，如果你的日常工作是復(fù)制粘貼字符串并且很滿意這個(gè)結(jié)果，再或者如果你是mit的電子工程學(xué)士，算啦。

10.最后有一點(diǎn)，全部的習(xí)題能不落下盡量做，數(shù)量很多，主要是需要很多的時(shí)間思考，收獲也不是一般的