計(jì)算機(jī)的構(gòu)造和解釋pdf在第2版的基礎(chǔ)上新增了不少專業(yè)知識(shí)點(diǎn)。這套電子課本主要是面向計(jì)算機(jī)專業(yè)的讀者朋友提供。全書為中文高清晰版。下載后可以直接使用pdf閱讀器查看。歡迎來綠色資源網(wǎng)下載使用。

電子圖書介紹

《計(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)都重新修改并做過測試，包括各種解釋器和編譯器。作者根據(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í)表

索引

作者簡介

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ī)語言寫作。