| | | 計算機程序的構造和解釋 原書*2版 典藏版 [美]哈羅德·埃布爾森 | 該商品所屬分類:圖書 -> 機械工業出版社 | 【市場價】 | 608-880元 | 【優惠價】 | 380-550元 | 【作者】 | 哈羅德·阿貝爾森裘宗燕 | 【出版社】 | 機械工業出版社 | 【ISBN】 | 9787111630548 | 【折扣說明】 | 一次購物滿999元台幣免運費+贈品 一次購物滿2000元台幣95折+免運費+贈品 一次購物滿3000元台幣92折+免運費+贈品 一次購物滿4000元台幣88折+免運費+贈品
| 【本期贈品】 | ①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
| |
版本 | 正版全新電子版PDF檔 | 您已选择: | 正版全新 | 溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。*. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。 *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。 | | | | 內容介紹 | |
店鋪:機械工業出版社官方旗艦店 出版社:機械工業出版社 ISBN:9787111630548 商品編碼:10026872818441 品牌:機械工業出版社(CMP) 出版時間:2019-07-01 頁數:200 字數:532000 審圖號:9787111630548 作者:哈羅德·阿貝爾森,裘宗燕
" 內容介紹 本書曾是美國麻省理工學院計算機科學專業的入門課程教材之一, 從理論上講解計算機程序的創建、 執行和研究。 主要內容包括:構造過程抽像,構造數據抽像,模塊化、 對像和語言抽像,寄存器機器裡的計算等。 目錄 出版者的話 序 *2版前言 *1版前言 致謝 *1章 構造過程抽像1 1.1 程序設計素3 1.1.1 表達式3 1.1.2 命名和環境5 1.1.3 組合式的求值6 1.1.4 復合過程7 1.1.5 過程應用的代換模型9 1.1.6 條件表達式和謂詞11 1.1.7 實例:采用牛頓法求平方根14出版者的話 序 *2版前言 *1版前言 致謝 *1章 構造過程抽像1 1.1 程序設計素3 1.1.1 表達式3 1.1.2 命名和環境5 1.1.3 組合式的求值6 1.1.4 復合過程7 1.1.5 過程應用的代換模型9 1.1.6 條件表達式和謂詞11 1.1.7 實例:采用牛頓法求平方根14 1.1.8 過程作為黑箱抽像17 1.2 過程及其產生的計算20 1.2.1 線性的遞歸和迭代21 1.2.2 樹形遞歸24 1.2.3 增長的階28 1.2.4 求冪29 1.2.5 *大公約數32 1.2.6 實例:素數檢測33 1.3 用高階函數做抽像37 1.3.1 過程作為參數37 1.3.2 用lambda構造過程41 1.3.3 過程作為一般性的方法44 1.3.4 過程作為返回值48 *2章 構造數據抽像53 2.1 數據抽像導引55 2.1.1 實例:有理數的算術運算55 2.1.2 抽像屏障58 2.1.3 數據意味著什麼60 2.1.4 擴展練習:區間算術62 2.2 層次性數據和閉包性質65 2.2.1 序列的表示66 2.2.2 層次性結構72 2.2.3 序列作為一種約定的界面76 2.2.4 實例:一個圖形語言86 2.3 符號數據96 2.3.1 引號96 2.3.2 實例:符號求導99 2.3.3 實例:集合的表示103 2.3.4 實例:Huffman編碼樹109 2.4 抽像數據的多重表示115 2.4.1 復數的表示116 2.4.2 帶標志數據119 2.4.3 數據導向的程序設計和可加性122 2.5 帶有通用型操作的繫統128 2.5.1 通用型算術運算129 2.5.2 不同類型數據的組合132 2.5.3 實例:符號代數138 第3章 模塊化、對像和狀態149 3.1 賦值和局部狀態149 3.1.1 局部狀態變量150 3.1.2 引進賦值帶來的利益154 3.1.3 引進賦值的代價157 3.2 求值的環境模型162 3.2.1 求值規則163 3.2.2 簡單過程的應用165 3.2.3 將框架看作局部狀態的展臺167 3.2.4 內部定義171 3.3 用變動數據做模擬173 3.3.1 變動的表結構173 3.3.2 隊列的表示180 3.3.3 表格的表示183 3.3.4 數字電路的模擬器188 3.3.5 約束的傳播198 3.4 並發:時間是一個本質問題206 3.4.1 並發繫統中時間的性質207 3.4.2 控制並發的機制210 3.5 流220 3.5.1 流作為延時的表220 3.5.2 無窮流226 3.5.3 流計算模式的使用232 3.5.4 流和延時求值241 3.5.5 函數式程序的模塊化和對像的 模塊化245 第語言抽像249 4循環求值器251 4.1.1 求值器的內核252 4.1.2 表達式的表示255 4.1.3 求值器數據結構260 4.1.4 作為程序運行求值器264 4.1.5 將數據作為程序266 4.1.6 內部定義269 4.1.7 將語法分析與執行分離273 4.2 Scheme的變形—惰性求值276 4.2.1 正則序和應用序277 4.2.2 一個采用惰性求值的解釋器278 4.2.3 將流作為惰性的表284 4.3 Scheme的變形—非確定性計算286 4.3.1 amb和搜索287 4.3.2 非確定性程序的實例290 4.3.3 實現amb求值器296 4.4 邏輯程序設計304 4.4.1 演繹信息檢索306 4.4.2 查詢繫統如何工作315 4.4.3 邏輯程序設計是數理邏輯嗎321 4.4.4 查詢繫統的實現324 第5章 寄存器機器裡的計算343 5.1 寄存器機器的設計344 5.1.1 一種描述寄存器機器的語言346 5.1.2 機器設計的抽像348 5.1.3 子程序351 5.1.4 采用堆棧實現遞歸354 5.1.5 指令總結358 5.2 一個寄存器機器模擬器359 5.2.1 機器模型360 5.2.2 彙編程序364 5.2.3 為指令生成執行過程366 5.2.4 監視機器執行372 5.3 存儲分配和廢料收集374 5.3.1 將存儲看作向量374 5.3.2 維持一種無窮存儲的假像378 5.4 顯式控制的求值器383 5.4.1 顯式控制求值器的內核384 5.4.2 序列的求值和尾遞歸388 5.4.3 條件、賦值和定義391 5.4.4 求值器的運行393 5.5 編譯397 5.5.1 編譯器的結構399 5.5.2 表達式的編譯402 5.5.3 組合式的編譯407 5.5.4 指令序列的組合412 5.5.5 編譯代碼的實例415 5.5.6 詞法地址422 5.5.7 編譯代碼與求值器的互連425 參考文獻431 練習表437 索引439 顯示全部信息
" | | | | | |