內容簡介

第2版中大部分重要程式設計系統都重新修改並做過測試,包括各種解釋器和編譯器。作者根據其後十餘年的教學實踐,還對其他許多細節做了相應的修改。
作者簡介
HaroldAbelson是MIT1992年度MacVicarFacultyFellow。GeraldJaySussman是Matsushita電子工程教授。他們都在MIT電子工程和計算機科學系工作.都得到過最重要的計算機科學教育獎:如Abelson得到了IEEE計算機學會的Booth獎。Sussman得到了ACM的Karlstrom獎。
JulieSussman是作家和編輯,同時使用自然語言和計算機語言寫作。
編輯推薦
這一版本中強調了幾個新問題,其中最重要的是有關的不同的途徑中,計算模型里對於時間的處理所起的中心作用:帶有狀態的對象、並發程式設計、函式式程式設計、惰性求值和非確定性程式設計。這裡為並發和非確定性新增加了幾節,我們也設法將這一論題集成到整本書里,貫穿始終。每一位嚴肅的計算機科學家都應該閱讀這本書。由於本書清晰、簡潔和富於才智,我們強烈推薦本書,它適合所有希望深刻理解計算機科學的人們。
目錄
出版者的話專家指導委員會
序
第2版前言
第1版前言
致謝
第1章構造過程抽象
1.1程式設計的基本元素
1.2過程與它們所產生的計算
1.3用高階函式做抽象
第2章構造數據現象
2.1數據抽象導引
2.2層次性數據和閉包性質
2.3符號數據
2.4抽象數據的多重表示
盤點計算機書籍
從計算機的類型、工作方式、構成器件、操作原理、套用環境等劃分,計算機有多種分類。計算機(Computer)是一種能夠按照事先存儲的程式,自動、高速地進行大量數值計算和各種信息處理的現代化智慧型電子設備。 |