軟件靈活性設計-如何避免陷入編程困境 9787111747048 克里斯.漢森 傑拉爾德傑伊.薩斯曼
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：機械工業
物品所在地：中國大陸
原出版社：機械工業
NT$630
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202403*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：軟件靈活性設計-如何避免陷入編程困境 ISBN：9787111747048 出版社：機械工業 著編譯者：克里斯.漢森 傑拉爾德傑伊.薩斯曼 頁數：305 所在地：中國大陸 *此為代購商品 書號：1624965 可大量預訂，請先連絡。 內容簡介 本書主要介紹如何利用數學符號操作、基於規則的系統和通用程序構建靈活的軟體，並利用依賴系統跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構建易於擴展的系統。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術語重寫系統，然後通過合一展示類型推理的實現。第5章探討解釋和編譯。第6章展示如何構造分層數據和分層程序的系統，並用各種元數據註釋其中的數據項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式範式。本書適合高等院校計算機相關專業的學生學習，也可供專業技術人員參考。作者簡介 王剛，博士，南開大學計算機學院講師，碩士生導師。研究方向包括機器學習、自然語言處理等。天津市級一流課程負責人，天津市級教學團隊成員，主持和參与國家級和省部級校企項目、教改項目10餘項，發表科研和教學論文9篇，主持和參与編寫教材十余部。目錄 譯者序推薦序 前 言 致 謝 第1章 自然和設計中的靈活性 1 1 計算體繫結構 1 2 靈活的智能組件 1 3 冗餘和簡併 1 4 探索行為 1 5 靈活性的成本 第2章 領域專用語言 2 1 組合器 2 1 1 函數組合器 2 1 2 組合器和形體構造 2 2 正則表達式 2 2 1 一種正則表達式組合語言 2 2 2 翻譯器的實現 2 3 包裝器 2 3 1 定製化包裝器 2 3 2 實現定製器 2 3 3 適配器 2 4 抽象領域模型 2 4 1 單一化實現 2 4 2 領域模型分解 2 5 小結 第3章 算術主題 3 1 組合算術 3 1 1 一個簡單的ODE積分器 3 1 2 調整算術運算符 3 1 3 組合運算 3 1 4 算術函數 3 1 5 組合器問題 3 2 可擴展的通用程序 3 2 1 通用運算 3 2 2 構建取決於順序 3 2 3 實現通用程序 3 3 示例：自動微分 3 3 1 自動微分的工作原理 3 3 2 n元函數的導數 3 3 3 一些技術細節 3 3 4 微分參數的文字函數 3 4 高效的通用程序 3：4 1 trie 3 4 2 緩存 3 5 高效的用戶自定義類型 3 5 1 謂詞的類型 3 5 2 謂詞之間的關係 3 5 3 謂詞調度關鍵字 3 5 4 示例：冒險遊戲 3 6 小結 第4章 模式匹配 4 1 模式 4 2 項重寫 4 2 1 代數中的段變數 4 2 2 規則系統的實現 4 2 3 旁白：魔術宏 4 2 4 有向模式調用 4 3 匹配器設計 4 3 1 編譯模式 4 3 2 匹配變數限制 4 4 合一匹配 4 4 1 合一的工作原理 4 4 2 應用：類型推斷 4 4 3 類型推斷的工作原理 4 4 4 添加段變數——一個實驗 4 5 圖上的模式匹配 4 5 1 將列表表示為圖 4 5 2 實現圖 4 5 3 圖上的匹配 4 5 4 棋盤和可交換圖形視圖 4 5 5 棋步 4 5 6 實現圖形匹配 4 6 小結 第5章 評 估 5 1 通用 |
