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

定　價：￥49.00

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

購買這本書可以去

ISBN：	9787111300274	出版時間：	2010-03-01	包裝：	平裝
開本：	16開	頁數(shù)：	262	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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