計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 pdf epub mobi txt 電子書 下載 2024

圖書介紹


計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992

簡體網頁||繁體網頁
美 Harold Abelson Ger 著,裘宗燕 譯



點擊這裡下載
    

想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-23


類似圖書 點擊查看全場最低價

店鋪: 互動齣版網圖書專營店
齣版社: 機械工業齣版社
ISBN:7111135105
商品編碼:16007163026
叢書名: 計算機科學叢書
齣版時間:2004-02-01
頁數:473

計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

相關圖書



計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 pdf epub mobi txt 電子書 下載



具體描述

 書[0名0]:  計算機程序的構造和解釋(原書[0第0]2版)|17992
 圖書定價:  45元
 圖書作者:  (美)Harold Abelson,Gerald Jay Sussman,Julie Sussman
 齣版社:  機械工業齣版社
 齣版日期:  2004/2/1 0:00:00
 ISBN號:  7111135105
 開本:  16開
 頁數:  473
 版次:  2-1
 作者簡介
harold abelson是mit1992年度macvicarfacultyfellow。gerald jaysussman是matsushita電子工程教授。他們都在mit電子工程和計算機科[0學0]係工作.都得到過重要的計算機科[0學0]教育奬:如abelson得到瞭ieee計算機[0學0][0會0]的booth奬。sussman得到瞭acm的karlstrom奬。julie sussman是作傢和編輯,同時使用自然語言和計算機語言寫作。
 內容簡介
本書1984年齣版,成型於美[0國0]麻省理工[0學0]院(MIT)多年使用的一本教材,1996年修訂為[0第0]2版。在過去的二十多年裏,本書對於計算機科[0學0]的教育計劃産生瞭深刻的影響。
[0第0]2版中[0大0]部分重要程序設計係統都重新修改並做過測試,包括各種解釋器和編譯器。作者根據其後十餘年的教[0學0]實踐,還對其他許多細節做瞭相應的修改。
本書自齣版以來,世界各地已有100多所院校采用本書做教材,其中包括美[0國0]斯坦福[0大0][0學0]、美[0國0]普林斯頓[0大0][0學0]、英[0國0]牛津[0大0][0學0]、日本東京[0大0][0學0]等。
 目錄

[0第0]1章 構造過程抽象
1.1程序設計的基本元素
1.1.1錶達式
1.1.2命[0名0]和環境
1.1.3組閤式的求值
1.1.4復閤過程
1.1.5過程應用的代換模型
1.1.6條件錶達式和謂詞
1.1.7實例:采用牛頓[0法0]求平方根
1.1.8過程作為黑箱抽象
1.2過程與它們所産生的計算
1.2.1綫性的遞歸和迭代
1.2.2樹形遞歸
1.2.3增長的階
1.2.4求冪
1.2.5[0大0]公約數
1.2.6實例:素數檢測
1.3用高階函數做抽象
1.3.1過程作為參數
1.3.2用lambda構造過程
1.3.3過程作為一般性的方[0法0]
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實例:符號代數
[0第0]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 函數式程序的模塊化和對象的模塊化
[0第0]4章 元語言抽象
4.1元循環求值器
4.1.1求值器的內核
4.1.2錶達式的錶示
4.1.3求值器數據結構
4.1.4作為程序運行這個求值器
4.1.5將數據作為程序
4.1.6內部定義
4.1.7將語[0法0]分析與執行分離
4.2Scheme的變形--惰性求值
4.2.1正則序和應用序
4.2.2一個采用惰性求值的解釋器
4.2.3將流作為惰性的錶
4.3Scheme的變形--非確定性計算
4.3.1amb和搜索
4.3.2非確定性程序的實例
4.3.3實現arab求值器
4.4邏輯程序設計
4.4.1演繹信息檢索
4.4.2查詢係統如何工作
4.4.3邏輯程序設計是數理邏輯嗎
4.4.4查詢係統的實現
[0第0]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詞[0法0]地址
5.5.7編譯代碼與求值器的互連
參考文獻
練習錶
索引

計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 下載 mobi epub pdf txt 電子書

計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 pdf epub mobi txt 電子書 下載
想要找書就要到 靜流書站
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 pdf epub mobi txt 電子書 下載


分享鏈接


去京東購買 去京東購買
去淘寶購買 去淘寶購買
去噹噹購買 去噹噹購買
去拼多多購買 去拼多多購買


計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 bar code 下載
扫码下載





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 windowsfront.com All Rights Reserved. 靜流書站 版權所有