編程原本

定　價(jià)：￥79.00

作　者：	亞歷山大·斯特潘諾夫（Alexander Stepanov），[美] 保羅·麥克瓊斯（Paul McJones）著，裘宗燕譯
出版社：	人民郵電出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787115493514	出版時(shí)間：	2019-08-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	298	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)將嚴(yán)格的數(shù)學(xué)定義、公理化和演繹方法應(yīng)用于程序設(shè)計(jì)，討論程序與保證它們正確工作的抽象數(shù)學(xué)理論之間的聯(lián)系。本書(shū)把理論的規(guī)程、基于這些規(guī)程寫(xiě)出的算法，以及描述算法性質(zhì)的引理和定理一起呈現(xiàn)給讀者，以幫助讀者將復(fù)雜系統(tǒng)分解為一些具有特定行為的組件。本書(shū)適合軟件開(kāi)發(fā)人員和需要進(jìn)行程序設(shè)計(jì)的科學(xué)家及工程師閱讀，也可供高等院校計(jì)算機(jī)及相關(guān)專(zhuān)業(yè)的師生參考。

作者簡(jiǎn)介

　　Alexander Stepanov 于1967 到1972 年間在國(guó)立莫斯科大學(xué)學(xué)習(xí)數(shù)學(xué)，從1972 年開(kāi)始在蘇聯(lián)從事程序設(shè)計(jì)工作，1977 年移民美國(guó)后繼續(xù)在這一領(lǐng)域工作。他編寫(xiě)過(guò)操作系統(tǒng)、程序設(shè)計(jì)工具、編譯器和各種程序庫(kù)。他在程序設(shè)計(jì)基礎(chǔ)方面的工作先后得到GE、Brooklyn Polytechnic、AT&T、HP、SGI和Adobe 的支持。他在1995 年因C++ 標(biāo)準(zhǔn)模板庫(kù)的設(shè)計(jì)獲Dr. Dobb'sJournal 的程序設(shè)計(jì)杰出貢獻(xiàn)獎(jiǎng)。 Paul McJones 于1967 到1971 年間在加州大學(xué)伯克利分校學(xué)習(xí)工程數(shù)學(xué)，1967 年進(jìn)入程序設(shè)計(jì)領(lǐng)域。他涉足的領(lǐng)域包括操作系統(tǒng)、程序設(shè)計(jì)環(huán)境、事務(wù)處理系統(tǒng)，以及企業(yè)和客戶(hù)應(yīng)用系統(tǒng)等。他先后在加州大學(xué)、IBM、Xerox、Tandem、DEC 和Adobe 工作。1982 年他與合作者一起因論文“The Recovery Manager of the System R Database Manager”獲得ACM 程序設(shè)計(jì)系統(tǒng)和語(yǔ)言論文獎(jiǎng)。

圖書(shū)目錄

第1 章基礎(chǔ) 1
1．1 理念范疇：實(shí)體、類(lèi)別和類(lèi)屬 1
1．2 值 2
1．3 對(duì)象 4
1．4 過(guò)程 6
1．5 規(guī)范類(lèi)型 7
1．6 規(guī)范過(guò)程 9
1．7 概念 11
1．8 總結(jié) 16
第2 章變換及其軌道 17
2．1 變換 17
2．2 軌道 21
2．3 碰撞點(diǎn) 23
2．4 軌道規(guī)模的度量 30
2．5 動(dòng)作 31
2．6 總結(jié) 32
第3 章可結(jié)合運(yùn)算 33
3．1 可結(jié)合性 33
3．2 計(jì)算乘冪 35
3．3 程序變換 37
3．4 處理特殊情況的過(guò)程 42
3．5 參數(shù)化算法 46
3．6 線性遞歸 47
3．7 累積過(guò)程 50
3．8 總結(jié) 51
第4 章線性序 52
4．1 關(guān)系的分類(lèi) 52
4．2 全序和弱序 55
4．3 按序選取 56
4．4 自然全序 66
4．5 派生過(guò)程組 67
4．6 按序選取過(guò)程的擴(kuò)展 68
4．7 總結(jié) 68
第5 章有序代數(shù)結(jié)構(gòu) 69
5．1 基本代數(shù)結(jié)構(gòu) 69
5．2 有序代數(shù)結(jié)構(gòu) 75
5．3 求余 76
5．4 最大公因子 81
5．5 廣義gcd 84
5．6 Stein gcd 87
5．7 商 87
5．8 負(fù)量的商和余數(shù) 89
5．9 概念及其模型 92
5．10 計(jì)算機(jī)整數(shù)類(lèi)型 94
5．11 總結(jié) 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 隨機(jī)訪問(wèn)迭代器 122
6．10 總結(jié) 124
第7 章坐標(biāo)結(jié)構(gòu) 125
7．1 二叉坐標(biāo) 125
7．2 雙向二叉坐標(biāo) 129
7．3 坐標(biāo)結(jié)構(gòu) 135
7．4 同構(gòu)、等價(jià)和有序 136
7．5 總結(jié) 144
第8 章后繼可變的坐標(biāo) 145
8．1 鏈接迭代器 145
8．2 鏈接重整 146
8．3 鏈接重整的應(yīng)用 153
8．4 鏈接的二叉坐標(biāo) 157
8．5 總結(jié) 163
第9 章拷貝 164
9．1 可寫(xiě)性 164
9．2 基于位置的拷貝 166
9．3 基于謂詞的拷貝 174
9．4 范圍的交換 182
9．5 總結(jié) 186
第10 章重整 187
10．1 置換 187
10．2 重整 190
10．3 反轉(zhuǎn)算法 192
10．4 輪換算法 196
10．5 算法選擇 206
10．6 總結(jié) 210
第11 章劃分和歸并 211
11．1 劃分 213
11．2 平衡的歸約 218
11．3 歸并 223
11．4 總結(jié) 230
第12 章復(fù)合對(duì)象 231
12．1 簡(jiǎn)單復(fù)合對(duì)象 231
12．2 動(dòng)態(tài)序列 240
12．3 基礎(chǔ)類(lèi)型 246
12．4 總結(jié) 249
跋 250
附錄A 數(shù)學(xué)表示 254
附錄B 程序設(shè)計(jì)語(yǔ)言 256
B．1 語(yǔ)言定義 256
B．2 宏和特征結(jié)構(gòu) 264
參考文獻(xiàn) 267
索引 271