您现在的位置：快乐比价网 > 图书 > 人文社科 > 其它 > 商品详情

(特价书)编程的本质（英文版）（STL之父最新力作，C++之父鼎力推荐）

分享到：

最低价：￥42.14

定价：￥49.00

作者：（美）Alexander Stepanov 著

出版社：机械工业出版社

出版时间：2010 年3月

I S B N：9787111300274

价格比较

商品详情

商品评论(0条)

编程的本质（英文版）（STL之父最新力作，C++之父鼎力推荐）

送货上门

价格
42.14元

商品详情

编辑推荐

内容简介

书籍
计算机书籍
　　本书提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如c++)中实现的算法如何在最一般的数学背景中操作。例如，如何定义快速求幂算法，使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。
　　这不是一本很容易读的书，它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的，其终极目标是提升你对编程的洞察力。要想从中大获裨益，你需要从头到尾认真学习：阅读代码，证明引理，完成练习。到结束之时，你将看到如何把这里讨论的演绎式方法应用到你的程序中，保证你做出的软件部件能一起工作，并表现出它们所应该表现的行为。
　　书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过web得到)采用c++的一个小子集书写，这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言，是由sean parent和bjarne stroustrup一起设计的。
　　无论你是一位软件开发者，还是其他以编程作为一项重要活动的专业人员，或者是一名在校的学生，你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理：数学对于编程是绝好的东西，理论对于实际是绝好的东西。

作者简介

preface ix
abouttheauthors xiii
1 foundations 1
1.1 categoriesofideas:entity,species,genus 1
1.2 values 2
1.3 objects 4
1.4 rocedures6
1.5 regulartypes 6
1.6 regularprocedures 8
1.7 concepts 10
1.8 conclusions14
2 transformationsandtheirorbits1 5
2.1 transformations 15
2.2 orbits 18
2.3 collisionpoint 21
2.4 measuringorbitsizes 27
2.5 actions 28
2.6 conclusions 29
3 associativeoperations 31
3.1 associativity 31

.3.2 computingpowers 33
3.3 programtransformations 35
3.4 special-caseprocedures 39
3.5 parameterizingalgorithms 42
3.6 linearrecurrences 43
3.7 accumulationprocedures 46
3.8 conclusions 47
4 linearorderings 49
4.1 classi?cationofrelations 49
4.2 totalandweakorderings 51
4.3 orderselection 52
4.4 naturaltotalordering 61
4.5 clustersofderivedprocedures 62
4.6 extendingorder-selectionprocedures 63
4.7 conclusions 63
5 orderedalgebraicstructures 65
5.1 basicalgebraicstructures 65
5.2 orderedalgebraicstructures 70
5.3 remainder 71
5.4 greatestcommondivisor 76
5.5 generalizinggcd 79
5.6 steingcd 81
5.7 quotient 81
5.8 quotientandremainderfornegativequantities 83
5.9 conceptsandtheirmodels 85
5.10 computerintegertypes 87
5.11 conclusions 88
6 iterators 89
6.1 readability 89
6.2 iterators 90
6.3 ranges 92
6.4 readableranges 95
6.5increasingranges 103
6.6 forwarditerators 106
6.7 indexediterators 110
6.8 bidirectionaliterators 111
6.9 random-accessiterators 113
6.1 0conclusions 114
7 coordinatestructures 115
7.1 ifurcatecoordinates 115
7.2 bidirectionalbifurcatecoordinates 119
7.3 coordinatestructures 124
7.4 isomorphism,equivalence,andordering 124
7.5 conclusions 131
8 coordinateswithmutablesuccessors 133
8.1 linkediterators 133
8.2 linkrearrangements 134
8.3 applicationsoflinkrearrangements 140
8.4 linkedbifurcatecoordinates 143
8.5 conclusions1489copying 149
9.1 writability 149
9.2 position-basedcopying 151
9.3 predicate-basedcopying 157
9.4 swappingranges 164
9.5 conclusions 168
10 rearrangements 169
10.1 permutations 169
10.2 rearrangements 172
10.3 reversealgorithms 174
10.4 rotatealgorithms 178
10.5 algorithmselection 186
10.6 conclusions 189
11 partitionandmerging 191
11.1 partition 191
11.2 balancedreduction 198
11.3 merging 202
11.4 conclusions 208
12 compositeobjects 209
12.1 simplecompositeobjects 209
12.2 dynamicsequences 216
12.3 underlyingtype 222
12.4 conclusions 225
afterword 227
appendixa mathematicalnotation 231
appendixb programminglanguage 233
b.1 languagede?nition 233
b.2 macrosandtraitstructures 240
bibliography 243
index 247