幫助中心 | 我的帳號 | 關於我們

電腦程序的構造和解釋(JavaScript版)/電腦科學叢書

  • 作者:(美)哈羅德·阿貝爾森//傑拉爾德·傑伊·薩斯曼//(德)馬丁·亨茨//(瑞典)托拜厄斯·瑞格斯塔德//(美)朱莉·薩斯曼|責編:朱劼|譯者:裘宗燕
  • 出版社:機械工業
  • ISBN:9787111734635
  • 出版日期:2024/02/01
  • 裝幀:平裝
  • 頁數:491
人民幣:RMB 129 元      售價:
放入購物車
加入收藏夾

內容大鋼
    本書主要介紹計算的核心思想,採用的方法是為計算建立一系列概念模型。主要內容包括:構造過程抽象,構造數據抽象,模塊化、對象和狀態,元語言抽象,寄存器機器里的計算等。採用JavaScript作為實例分析,但並不拘泥於對語言的解釋,而是通過這種語言來闡述程序設計思想。第1章介紹了計算過程以及函數在程序設計中扮演的角色。第2章在第1章的基礎上提供了將數據對象組合起來形成複合數據,進而構造抽象的方法。第3章介紹了一些幫助我們模塊化構造大型系統的策略。第4章通過元語言抽象探究如何在一些語言的基礎上開發新語言的技術。第5章從寄存器機器的角度出發,通過設計寄存器機器,開發一些機制,實現重要的程序設計結構,同時給出一種描述寄存器機器設計的語言。本書揭示電腦程序設計思想的實質是改變了人們的思考方式:從命令式的觀點去研究知識的結構。因此,本書所闡述的設計思想不僅適用於電腦程序設計,而且適用於所有工程設計。

作者介紹
(美)哈羅德·阿貝爾森//傑拉爾德·傑伊·薩斯曼//(德)馬丁·亨茨//(瑞典)托拜厄斯·瑞格斯塔德//(美)朱莉·薩斯曼|責編:朱劼|譯者:裘宗燕

目錄
譯者序
序言
1984年版《電腦程序的構造和解釋》的原序前言
1996年SICP第2版的前言
1984年SICP第1版的前言
致謝
1996年SICP第2版的致謝
第1章  構造函數抽象
  1.1  程序設計的基本元素
    1.1.1  表達式
    1.1.2  命名和環境
    1.1.3  運算符組合式的求值
    1.1.4  複合函數
    1.1.5  函數應用的代換模型
    1.1.6  條件表達式和謂詞
    1.1.7  實例:用牛頓法求平方根
    1.1.8  函數作為黑箱抽象
  1.2  函數與它們產生的計算
    1.2.1  線性遞歸和迭代
    1.2.2  樹形遞歸
    1.2.3  增長的階
    1.2.4  求冪
    1.2.5  最大公約數
    1.2.6  實例:素數檢測
  1.3  用高階函數做抽象
    1.3.1  函數作為參數
    1.3.2  用lambda表達式構造函數
    1.3.3  函數作為通用的方法
    1.3.4  函數作為返回值
第2章  構造數據抽象
  2.1  初識數據抽象
    2.1.1  實例:有理數的算術運算
    2.1.2  抽象屏障
    2.1.3  數據是什麼意思?
    2.1.4  擴展練習:區間算術
  2.2  層次性數據和閉包性質
    2.2.1  序列的表示
    2.2.2  層次結構
    2.2.3  序列作為約定的介面
    2.2.4  實例:一個圖形語言
  2.3  符號數據
    2.3.1  字元串
    2.3.2  實例:符號求導
    2.3.3  實例:集合的表示
    2.3.4  實例:Huffman編碼樹
  2.4  抽象數據的多重表示
    2.4.1  複數的表示
    2.4.2  帶標籤數據
    2.4.3  數據導向的程序設計和可加性
  2.5  包含通用型操作的系統

    2.5.1  通用型算術運算
    2.5.2  不同類型數據的組合
    2.5.3  實例:符號代數
第3章  模塊化、對象和狀態
  3.1  賦值和局部狀態
    3.1.1  局部狀態變數
    3.1.2  引進賦值帶來的利益
    3.1.3  引進賦值的代價
  3.2  求值的環境模型
    3.2.1  求值規則
    3.2.2  簡單函數的應用
    3.2.3  框架作為局部狀態的倉庫
    3.2.4  內部定義
  3.3  用變動數據建模
    3.3.1  可變的表結構
    3.3.2  隊列的表示
    3.3.3  表格的表示
    3.3.4  數字電路模擬器
    3.3.5  約束傳播
  3.4  併發:時間是一個本質問題
    3.4.1  併發系統中時間的性質
    3.4.2  控制併發的機制
  3.5  流
    3.5.1  流作為延遲的表
    3.5.2  無窮流
    3.5.3  流計算模式的應用
    3.5.4  流和延遲求值
    3.5.5  函數式程序的模塊化和對象的模塊化
第4章  元語言抽象
  4.1  元循環求值器
    4.1.1  求值器的核心部分
    4.1.2  組件的表示
    4.1.3  求值器的數據結構
    4.1.4  把求值器作為程序運行
    4.1.5  以數據為程序
    4.1.6  內部聲明
    4.1.7  分離語法分析與執行
  4.2  惰性求值
    4.2.1  正則序和應用序
    4.2.2  採用惰性求值的解釋器
    4.2.3  流作為惰性的表
  4.3  非確定性計算
    4.3.1  搜索和amb
    4.3.2  非確定性程序實例
    4.3.3  實現amb求值器
  4.4  邏輯程序設計
    4.4.1  演繹式信息檢索
    4.4.2  查詢系統如何工作
    4.4.3  邏輯程序設計是數理邏輯嗎?
    4.4.4  實現查詢系統

第5章  寄存器機器里的計算
  5.1  寄存器機器的設計
    5.1.1  一種描述寄存器機器的語言
    5.1.2  機器設計的抽象
    5.1.3  子程序
    5.1.4  使用棧實現遞歸
    5.1.5  指令總結
  5.2  寄存器機器的模擬器
    5.2.1  機器模型
    5.2.2  彙編器
    5.2.3  指令和它們的執行函數
    5.2.4  監視機器執行
  5.3  存儲分配和廢料收集
    5.3.1  把存儲器看作向量
    5.3.2  維持一種無窮存儲的假象
  5.4  顯式控制的求值器
    5.4.1  分派器和基本求值
    5.4.2  函數應用的求值
    5.4.3  塊結構、賦值和聲明
    5.4.4  求值器的運行
  5.5  編譯
    5.5.1  編譯器的結構
    5.5.2  組件的編譯
    5.5.3  編譯函數應用和返回語句
    5.5.4  指令序列的組合
    5.5.5  編譯代碼的實例
    5.5.6  詞法地址
    5.5.7  將編譯代碼與求值器介面
參考文獻
索引
練習列表

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們Top↑
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話:02-2381-2033 02-2381-1863 時間:週一-週五 10:00-17:00
 服務信箱:bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證:浙B2-20060032