計算機程序的構造和解釋 (JavaScript版) 哈羅德.阿貝爾森 9787111734635 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：機械工業
物品所在地：中國大陸
原出版社：機械工業
NT$820
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *數量非實際在台庫存 *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為實際資訊。 印行年月：202402*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：計算機程序的構造和解釋 (JavaScript版) ISBN：9787111734635 出版社：機械工業 著編譯者：哈羅德.阿貝爾森 叢書名：計算機科學叢書 頁數：491 所在地：中國大陸 *此為代購商品 書號：1615585 可大量預訂，請先連絡。 內容簡介 本書主要介紹計算的核心思想，採用的方法是為計算建立一系列概念模型。主要內容包括：構造過程抽象，構造數據抽象，模塊化、對象和狀態，元語言抽象，寄存器機器里的計算等。採用JavaScript作為實例分析，但並不拘泥於對語言的解釋，而是通過這種語言來闡述程序設計思想。第1章介紹了計算過程以及函數在程序設計中扮演的角色。第2章在第1章的基礎上提供了將數據對象組合起來形成複合數據，進而構造抽象的方法。第3章介紹了一些幫助我們模塊化構造大型系統的策略。第4章通過元語言抽象探究如何在一些語言的基礎上開發新語言的技術。第5章從寄存器機器的角度出發，通過設計寄存器機器，開發一些機制，實現重要的程序設計結構，同時給出一種描述寄存器機器設計的語言。本書揭示計算機程序設計思想的實質是改變了人們的思考方式：從命令式的觀點去研究知識的結構。因此，本書所闡述的設計思想不僅適用於計算機程序設計，而且適用於所有工程設計。作者簡介 哈羅德·阿貝爾森（Harold Abelson），麻省理工學院計算機科學與電子工程系教授，IEEEFellow。他在計算機科學教學方面獲得了許多獎項，包括Bose教學獎、TaylorL Booth教育獎、ACM計算機科學教育傑出貢獻獎和ACM Karl Karlstrom傑出教育家獎等。他致力於讓所有人都能更容易地獲得和使用信息技術，併發起或參与了多項IT技術普及項目和開源項目。目錄 譯者序序言 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 將編譯代碼與求值器介面 參考文獻 索引 練習列表 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
