計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 epub pdf mobi txt 電子書 下載 2024
發表於2024-11-10
計算機程序的構造和解釋(原書第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 電子書計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 mobi pdf epub txt 電子書 下載 2024
計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 epub pdf mobi txt 電子書 下載評分
評分
評分
評分
評分
評分
評分
評分
計算機程序的構造和解釋(原書第2版) 計算機與互聯網 書籍|17992 epub pdf mobi txt 電子書 下載 2024