編程的本質(zhì)（英文版）

定　價(jià)：￥49.00

作　者：	（美）斯特潘諾夫等著
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	經(jīng)典原版書(shū)庫(kù)
標(biāo)　簽：	程序設(shè)計(jì)

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

ISBN：	9787111300274	出版時(shí)間：	2010-03-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	262	字?jǐn)?shù)：

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

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

作者簡(jiǎn)介

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

圖書(shū)目錄

Preface ix
About the Authors xiii
1 Foundation 1
1.1 Categories of Ideas: Entity, Species, Genus 1
1.2 Values 2
1.3 Objects 4
1.4 rocedures6
1.5 Regular Types 6
1.6 Regular Procedures 8
1.7 Concepts 10
1.8 Conclusions14

2 TransformationsandTheirOrbits1 5
2.1 Transformations 15
2.2 Orbits 18
2.3 Collision Point 21
2.4 Measuring Orbit Sizes 27
2.5 Actions 28
2.6 Conclusions 29

3 Associative Operations 31
3.1 Associativity 31
3.2 Computing Powers 33
3.3 Program Transformations 35
3.4 Special-Case Procedures 39
3.5 Parameterizing Algorithms 42
3.6 Linear Recurrences 43
3.7 Accumulation Procedures 46
3.8 Conclusions 47

4 Linear Orderings 49
4.1 Classification of Relations 49
4.2 Total and Weak Orderings 51
4.3 Order Selection 52
4.4 Natural Total Ordering 61
4.5 Clusters of Derived Procedures 62
4.6 Extending Order-Selection Procedures 63
4.7 Conclusions 63

5 Ordered Algebraic Structures 65
5.1 Basic Algebraic Structures 65
5.2 Ordered Algebraic Structures 70
5.3 Remainder 71
5.4 Greatest Common Divisor 76
5.5 Generalizinggcd 79
5.6 Steingcd 81
5.7 Quotient 81
5.8 Quotient and Remainder for Negative Quantities 83
5.9 Concepts and Their Models 85
5.10 Computer Integer Types 87
5.11 Conclusions 88

6 Iterators 89
6.1 Readability 89
6.2 Iterators 90
6.3 Ranges 92
6.4 Readable Ranges 95
6.5IncreasingRanges 103
6.6 Forward Iterators 106
6.7 Indexed Iterators 110
6.8 Bidirectional Iterators 111
6.9 Random-Access Iterators 113
6.1 0Conclusions 114

7 Coordinate Structures 115
7.1 ifurcate Coordinates 115
7.2 Bidirectional Bifurcate Coordinates 119
7.3 Coordinate Structures 124
7.4 Isomorphism, Equivalence, and Ordering 124
7.5 Conclusions 131

8 Coordinates with Mutable Successors 133
8.1 Linked Iterators 133
8.2 Link Rearrangements 134
8.3 Applications of Link Rearrangements 140
8.4 Linked Bifurcate Coordinates 143
8.5 Conclusions148

9 Copying 149
9.1 Writability 149
9.2 Position-Based Copying 151
9.3 Predicate-Based Copying 157
9.4 Swapping Ranges 164
9.5 Conclusions 168

10 Rearrangements 169
10.1 Permutations 169
10.2 Rearrangements 172
10.3 Reverse Algorithms 174
10.4 Rotate Algorithms 178
10.5 Algorithm Selection 186
10.6 Conclusions 189

11 Partitionand Merging 191
11.1 Partition 191
11.2 Balanced Reduction 198
11.3 Merging 202
11.4 Conclusions 208

12 Composite Objects 209
12.1 Simple Composite Objects 209
12.2 Dynamic Sequences 216
12.3 Underlying Type 222
12.4 Conclusions 225
Afterword 227
Appendix A Mathematical Notation 231
Appendix B Programming Language 233
B.1 Language Definition 233
B.2 Macros and Trait Structures 240
Bibliography 243
Index 247