編程原本預(yù)售商品

定　價：￥59.00

作　者：	Alexander Stepanov ， Paul McJones 著，裘宗燕譯
出版社：	機(jī)械工業(yè)出版社
叢編項：
標(biāo)　簽：	程序設(shè)計

購買這本書可以去

ISBN：	9787111367291	出版時間：	2012-01-01	包裝：	平裝
開本：	`	頁數(shù)：	281	字?jǐn)?shù)：

內(nèi)容簡介

　　本書提供了有關(guān)編程的一種與眾不同的理解。其主旨是，實(shí)際的編程也應(yīng)像其他科學(xué)和工程領(lǐng)域一樣基于堅實(shí)的數(shù)學(xué)基礎(chǔ)。本書展示了在實(shí)際編程語言（如C++）中實(shí)現(xiàn)的算法如何在最一般的數(shù)學(xué)背景中操作。例如，如何定義快速求冪算法，使之能使用任何可交換運(yùn)算。使用抽象算法將能得到更高效、可靠、安全和經(jīng)濟(jì)的軟件。這不是一本很容易讀的書，它也不是能提升你的編程技能的秘訣和技巧匯編。本書的價值是更根本性的，其終極目標(biāo)是提升你對編程的洞察力。要想從中大獲裨益，你需要從頭到尾認(rèn)真學(xué)習(xí)：閱讀代碼，證明引理，完成練習(xí)。到結(jié)束之時，你將看到如何把這里討論的演繹方法應(yīng)用到你的程序中，保證你做出的軟件部件能一起工作，并表現(xiàn)出它們所應(yīng)該表現(xiàn)的行為。書中給出的算法和需求針對某些被操作的類型。有關(guān)這些描述的代碼（也可以通過Web得到）采用C++的一個小子集書寫，這樣做是為了讓所有有經(jīng)驗(yàn)的程序員都能理解。這個小子集可以看做一種特殊語言，是由SeanParent和Bjarne Stroustrup一起設(shè)計的。無論你是一位軟件開發(fā)者，還是其他以編程作為一項重要活動的專業(yè)人員，或者是一名在校的學(xué)生，你都會逐漸理解本書的經(jīng)驗(yàn)豐富的作者多年來一直在教授和闡釋的道理：數(shù)學(xué)對于編程是絕好的東西，理論對于實(shí)際是絕好的東西。

作者簡介

　　Alexander Stepanov于1967~1972年間在國立莫斯科大學(xué)學(xué)習(xí)數(shù)學(xué)，從1972年開始在蘇聯(lián)，1977年移民后繼續(xù)在美國從事編程工作。他編寫過操作系統(tǒng)、編程工具、編譯器和各種程序庫。他在程序設(shè)計基礎(chǔ)方面的工作先后得到GE、Polytechnic、AT&T、惠普、SGI和Adobe的支持。1995年因C++標(biāo)準(zhǔn)模板庫的設(shè)計獲Dr.Dobb， Journal的程序設(shè)計杰出貢獻(xiàn)獎。Paul McJones于1967~1971年間在加州大學(xué)伯克利分校學(xué)習(xí)工程數(shù)學(xué)。從1967年開始介入程序設(shè)計，涉足的領(lǐng)域包括操作系統(tǒng)、程序設(shè)計環(huán)境、事務(wù)處理系統(tǒng)以及企業(yè)和客戶應(yīng)用系統(tǒng)等。他先后在加州大學(xué)、IBM、Xerox、Tandem、DEC和Adobe工作。1982年他與合作者一起因論文“TheRecovery Manager of the System R DatabaseManager”獲得ACM程序設(shè)計系統(tǒng)和語言論文獎。裘宗燕，北京大學(xué)數(shù)學(xué)學(xué)院信息科學(xué)系教授。長期從事計算機(jī)軟件理論，形式化方法，程序設(shè)計和程序設(shè)計語言等方面的教學(xué)和研究工作。譯著包括《程序設(shè)計實(shí)踐》、《從規(guī)范出發(fā)的程序設(shè)計》、《C++語言的設(shè)計和演化》、《C++程序設(shè)計語言》、《計算機(jī)程序的構(gòu)造和解釋》、《程序設(shè)計語言——實(shí)踐之路》等，著作有《從問題到程序——程序設(shè)計與C語言引論》等。

圖書目錄

譯者序
前言
關(guān)于作者
第1章基礎(chǔ)................................ 11.1理念范疇:實(shí)體,類別,類屬.................1
1.2值.....................................2
1.3對象....................................4
1.4過程....................................6
1.5規(guī)范類型.................................7
1.6規(guī)范過程.................................8
1.7概念....................................10
1.8總結(jié)....................................14
第2章變換及其軌道........................ 152.1變換....................................15
2.2軌道....................................18
2.3碰撞點(diǎn)...................................21
2.4軌道規(guī)模的度量.............................27
2.5動作....................................28
2.6總結(jié)....................................29
第3章可結(jié)合運(yùn)算.......................... 313.1可結(jié)合性.................................31
3.2計算乘冪.................................32
3.3程序變換.................................35
3.4處理特殊情況的過程..........................40
3.5參數(shù)化算法................................43
3.6線性遞歸.................................44
3.7累積過程.................................47
3.8總結(jié)....................................48
第4章線性序................................ 494.1關(guān)系的分類................................49
4.2全序和弱序................................51
4.3按序選取.................................52
4.4自然全序.................................62
4.5派生過程組................................63
4.6按序選取過程的擴(kuò)展..........................63
4.7總結(jié)....................................64
第5章有序代數(shù)結(jié)........................... 655.1基本代數(shù)結(jié)構(gòu)..............................65
5.2有序代數(shù)結(jié)構(gòu)..............................70
5.3求余....................................72
5.4最大公因子................................76
5.5廣義gcd..................................79
5.6Steingcd.................................81
5.7商.....................................82
5.8負(fù)量的商和余數(shù).............................84
5.9概念及其模型..............................87
5.10計算機(jī)整數(shù)類型.............................88
5.11結(jié)論....................................89
第6章迭代器.............................. 916.1可讀性...................................91
6.2迭代器...................................92
6.3范圍....................................94
6.4可讀范圍.................................97
6.5遞增的范圍................................106
6.6前向迭代器................................108
6.7索引迭代器................................113
6.8雙向迭代器................................114
6.9隨機(jī)訪問迭代器.............................115
6.10總結(jié)....................................117
第7章坐標(biāo)結(jié)構(gòu).............................. 1197.1二叉坐標(biāo).................................119
7.2雙向二叉坐標(biāo)..............................123
7.3坐標(biāo)結(jié)構(gòu).................................129
7.4同構(gòu),等價和有序............................129
7.5總結(jié)....................................137
第8章后繼可變的坐標(biāo)....................... 1398.1鏈接迭代器................................139
8.2鏈接重整.................................140
8.3鏈接重整的應(yīng)用.............................147
8.4鏈接的二叉坐標(biāo).............................151
8.5結(jié)論....................................155
第9章拷貝.................................. 1579.1可寫性...................................157
9.2基于位置的拷貝.............................159
9.3基于謂詞的拷貝.............................166
9.4范圍的交換................................174
9.5總結(jié)....................................178
第10章重整............................... 17910.1置換....................................179
10.2重整....................................182
10.3 反轉(zhuǎn)算法.................................184
10.4 輪換算法.................................188
10.5 算法選擇.................................196
10.6 總結(jié)....................................
200
第11章劃分和歸并.......................... 20111.1劃分....................................201
11.2平衡的歸約................................207
11.3歸并....................................212
11.4總結(jié)....................................218
第12章復(fù)合對象........................... 21912.1簡單復(fù)合對象..............................219
12.2動態(tài)序列.................................227
12.3基礎(chǔ)類型.................................233
12.4總結(jié)....................................236
跋......................................... 237附錄A 數(shù)學(xué)表示............................ 241附錄B 程序設(shè)計語言........................ 243參考文獻(xiàn)................................... 253索引....................................... 257