計算機程序的構造和解釋

計算機的構造和解釋pdf在第2版的基礎上新增了不少專業知識點。這套電子課本主要是面向計算機專業的讀者朋友提供。全書為中文高清晰版。下載后可以直接使用pdf閱讀器查看。歡迎來綠色資源網下載使用。

電子圖書介紹

《計算機程序的構造和解釋（第2版）》1984年出版，成型于美國麻省理工學院（MIT）多年使用的一本教材，1996年修訂為第2版。在過去的二十多年里，《計算機程序的構造和解釋（原書第2版）》對于計算機科學的教育計劃產生了深刻的影響。第2版中大部分重要程序設計系統都重新修改并做過測試，包括各種解釋器和編譯器。作者根據其后十余年的教學實踐，還對其他許多細節做了相應的修改。

計算機的構造和解釋電子圖書介紹

出版者的話

專家指導委員會

序

第2版前言

第1版前言

致謝

第1章 構造過程抽象

1.1 程序設計的基本元素

1.2 過程與它們所產生的計算

1.3 用高階函數做抽象

第2章 構造數據現象

2.1 數據抽象導引

2.2 層次性數據和閉包性質

2.3 符號數據

2.4 抽象數據的多重表示

2.5 帶有通用型操作的系統

第3章 模塊化、對象和狀態

3.1 賦值和局部狀態

3.2 求值的環境模型

3.3 用變動數據做模擬

3.4 并發：時間是一個本質問題

3.5 流

第4章 元語言抽象

4.1 元循環求值器

4.2 Scheme的變形——惰性求值

4.3 Scheme的變形——非確定性計算

4.4 邏輯程序設計

第5章 寄存器機器里的計算

5.1 寄存器機器的設計

5.2 一個寄存器機器模擬器

5.3 存儲分配和廢料收集

5.4 顯式控制的求值器

5.5 編譯

參考文獻

練習表

索引

作者簡介

Harold Abelson是MIT1992年度MacVicarFacultyFellow。Gerald JaySussman是Matsushita電子工程教授。他們都在MIT電子工程和計算機科學系工作。都得到過最重要的計算機科學教育獎：如Abelson得到了IEEE計算機學會的Booth獎。Sussman得到了ACM的Karlstrom獎。

Julie Sussman是作家和編輯，同時使用自然語言和計算機語言寫作。