| | | | 編程原本 計算機與互聯網 亞歷山大·斯特潘諾夫 人民郵電出版社 | | 該商品所屬分類：圖書 -> ε | | 【市場價】 | 596-864元 | | 【優惠價】 | 373-540元 | | 【出版社】 | 人民郵電出版社 | | 【ISBN】 | 9787115493514 | | 【折扣說明】 | 一次購物滿999元台幣免運費+贈品
一次購物滿2000元台幣95折+免運費+贈品
一次購物滿3000元台幣92折+免運費+贈品
一次購物滿4000元台幣88折+免運費+贈品
| | 【本期贈品】 | ①優質無紡布環保袋，做工棒！②品牌簽字筆 ③品牌手帕紙巾
|
|
| 版本 | 正版全新電子版PDF檔 | | 您已选择： | 正版全新 | 溫馨提示：如果有多種選項，請先選擇再點擊加入購物車。*. 電子圖書價格是0.69折，例如了得網價格是100元，電子書pdf的價格則是69元。
*. 購買電子書不支持貨到付款，購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
*. 如果收到的電子書不滿意，可以聯絡我們退款。謝謝。 | | | |
| | 內容介紹 | |
出版社：人民郵電出版社 ISBN：9787115493514 商品編碼：56818074289 開本：16開 出版時間：2015-12-12 頁數：298 代碼：79
"| 商品基本信息，請以下列介紹為準 | | 商品名稱： | 編程原本 計算機與互聯網 書籍 | | 作者： | 亞歷山大·斯特潘諾夫 | | 代碼： | 79.0 | | 出版社： | 人民郵電出版社 | | 出版日期： | | | ISBN： | 9787115493514 | | 印次： | | | 版次： | 1 | | 裝幀： | 平裝-膠訂 | | 開本： | 16開 |
| 內容簡介 | 本書將嚴格的數學定義、公理化和演繹方法應用於程序設計，討論程序與保證它們正確工作的抽像數學理論之間的聯繫。本書把理論的規程、基於這些規程寫出的算法，以及描述算法性質的引理和定理一起呈現給讀者，以幫助讀者將復雜繫統分解為一些具有特定行為的組件。
本書適合軟件開發人員和需要進行程序設計的科學家及工程師閱讀，也可供高等院校計算機及相關專業的師生參考。 |
| 目錄 | 第1 章基礎 1
1．1 理念範疇：實體、類別和類屬 1
1．2 值 2
1．3 對像 4
1．4 過程 6
1．5 規範類型 7
1．6 規範過程 9
1．7 概念 11
1．8 總結 16
第2 章變換及其軌道 17
2．1 變換 17
2．2 軌道 21
2．3 踫撞點 23
2．4 軌道規模的度量 30
2．5 動作 31
2．6 總結 32
第3 章可結合運算 33
3．1 可結合性 33
3．2 計算乘冪 35
3．3 程序變換 37
3．4 處理特殊情況的過程 42
3．5 參數化算法 46
3．6 線性遞歸 47
3．7 累積過程 50
3．8 總結 51
第4 章線性序 52
4．1 關繫的分類 52
4．2 全序和弱序 55
4．3 按序選取 56
4．4 自然全序 66
4．5 派生過程組 67
4．6 按序選取過程的擴展 68
4．7 總結 68
第5 章有序代數結構 69
5．1 基本代數結構 69
5．2 有序代數結構 75
5．3 求餘 76
5．4 公因子 81
5．5 廣義gcd 84
5．6 Stein gcd 87
5．7 商 87
5．8 負量的商和餘數 89
5．9 概念及其模型 92
5．10 計算機整數類型 94
5．11 總結 95
第6 章迭代器 96
6．1 可讀性 96
6．2 迭代器 97
6．3 範圍 99
6．4 可讀範圍 103
6．5 遞增的範圍 112
6．6 前向迭代器 115
6．7 索引迭代器 120
6．8 雙向迭代器 120
6．9 隨機訪問迭代器 122
6．10 總結 124
第7 章坐標結構 125
7．1 二叉坐標 125
7．2 雙向二叉坐標 129
7．3 坐標結構 135
7．4 同構、等價和有序 136
7．5 總結 144
第8 章後繼可變的坐標 145
8．1 鏈接迭代器 145
8．2 鏈接重整 146
8．3 鏈接重整的應用 153
8．4 鏈接的二叉坐標 157
8．5 總結 163
第9 章拷貝 164
9．1 可寫性 164
9．2 基於位置的拷貝 166
9．3 基於謂詞的拷貝 174
9．4 範圍的交換 182
9．5 總結 186
第10 章重整 187
10．1 置換 187
10．2 重整 190
10．3 反轉算法 192
10．4 輪換算法 196
10．5 算法選擇 206
10．6 總結 210
第11 章劃分和歸並 211
11．1 劃分 213
11．2 平衡的歸約 218
11．3 歸並 223
11．4 總結 230
第12 章復合對像 231
12．1 簡單復合對像 231
12．2 動態序列 240
12．3 基礎類型 246
12．4 總結 249
跋 250
附錄A 數學表示 254
附錄B 程序設計語言 256
B．1 語言定義 256
B．2 宏和特征結構 264
參考文獻 267
索引 271 |
| 編輯 | | 1. 追溯數學原理，探求編程的本質，本書是“C STL之父”Alexander Stepanov的經典力作，得到了“C 之父”Bjarne Stroustrup的鼎力。 2. 《編程原本》由我國知名的程序設計專家、北京大學數學學院教授裘宗燕老師再次修訂，彌補了其中的不足。 3.讀者可以從本書中一窺STL的設計思想，真切體會程序設計的迭代式過程，通過研究有用的問題，發現處理這些問題的算法。 |
" | | |
| | | | |
|
