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

Name: 計算機程序的構造和解釋（原書第2版） 計算機與互聯網 書籍|17992 pdf epub mobi txt 電子書 2024
SKU: 16007163026
Rating: 4 (10 reviews)

☆☆☆☆☆
簡體網頁||繁體網頁

美 Harold Abelson Ger 著，裘宗燕譯

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到靜思書屋

book.tinynews.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-23

商品介绍

店鋪：互動齣版網圖書專營店

齣版社：機械工業齣版社

ISBN：7111135105

商品編碼：16007163026

叢書名：計算機科學叢書

齣版時間：2004-02-01

頁數：473

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

类似图書點擊查看全場最低價

書籍描述

書[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 epub pdf mobi txt 電子書下載 2024

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