具体描述
本书提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言（如C++）中实现的算法如何在最一般的数学背景中操作。例如，如何定义快速求幂算法，使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。
这不是一本很容易读的书，它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的，其终极目标是提升你对编程的洞察力。要想从中大获裨益，你需要从头到尾认真学习：阅读代码，证明引理，完成练习。到结束之时，你将看到如何把这里讨论的演绎方法应用到你的程序中，保证你做出的软件部件能一起工作，并表现出它们所应该表现的行为。
书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码（也可以通过Web得到）采用C++的一个小子集书写，这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言，是由Sean Parent和Bjarne Stroustrup一起设计的。
无论你是一位软件开发者，还是其他以编程作为一项重要活动的专业人员，或者是一名在校的学生，你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理：数学对于编程是绝好的东西，理论对于实际是绝好的东西。
作者简介
Alexander Stepanov 于1967~1972年间在国立莫斯科大学学习数学，从1972年开始在苏联，1977年移民后继续在美国从事编程工作。他编写过操作系统、编程工具、编译器和各种程序库。他在程序设计基础方面的工作先后得到GE、Polytechnic、AT&T、惠普、SGI和Adobe的支持。1995年因C++标准模板库的设计获Dr. Dobb, Journal的程序设计杰出贡献奖。
Paul McJones 于1967~1971年间在加州大学伯克利分校学习工程数学。从1967年开始介入程序设计，涉足的领域包括操作系统、程序设计环境、事务处理系统以及企业和客户应用系统等。他先后在加州大学、IBM、Xerox、Tandem、DEC和Adobe工作。1982年他与合作者一起因论文“The Recovery Manager of the System R Database Manager”获得ACM程序设计系统和语言论文奖。
目录信息
前言
关于作者
第1章 基础................................ 1
1.1理念范畴:实体,类别,类属.................1
1.2值.....................................2
1.3对象....................................4
1.4过程....................................6
1.5规范类型.................................7
1.6规范过程.................................8
1.7概念....................................10
1.8总结....................................14
第2章 变换及其轨道........................ 15
2.1变换....................................15
2.2轨道....................................18
2.3碰撞点...................................21
2.4轨道规模的度量.............................27
2.5动作....................................28
2.6总结....................................29
第3章 可结合运算.......................... 31
3.1可结合性.................................31
3.2计算乘幂.................................32
3.3程序变换.................................35
3.4处理特殊情况的过程..........................40
3.5参数化算法................................43
3.6线性递归.................................44
3.7累积过程.................................47
3.8总结....................................48
第4章 线性序................................ 49
4.1关系的分类................................49
4.2全序和弱序................................51
4.3按序选取.................................52
4.4自然全序.................................62
4.5派生过程组................................63
4.6按序选取过程的扩展..........................63
4.7总结....................................64
第5章 有序代数结........................... 65
5.1基本代数结构..............................65
5.2有序代数结构..............................70
5.3求余....................................72
5.4最大公因子................................76
5.5广义gcd..................................79
5.6Steingcd.................................81
5.7商.....................................82
5.8负量的商和余数.............................84
5.9概念及其模型..............................87
5.10计算机整数类型.............................88
5.11结论....................................89
第6章 迭代器.............................. 91
6.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随机访问迭代器.............................115
6.10总结....................................117
第7章坐标结构.............................. 119
7.1二叉坐标.................................119
7.2双向二叉坐标..............................123
7.3坐标结构.................................129
7.4同构,等价和有序............................129
7.5总结....................................137
第8章 后继可变的坐标....................... 139
8.1链接迭代器................................139
8.2链接重整.................................140
8.3链接重整的应用.............................147
8.4链接的二叉坐标.............................151
8.5结论....................................155
第9章拷贝.................................. 157
9.1可写性...................................157
9.2基于位置的拷贝.............................159
9.3基于谓词的拷贝.............................166
9.4范围的交换................................174
9.5总结....................................178
第10章 重整............................... 179
10.1置换....................................179
10.2重整....................................182
10.3 反转算法.................................184
10.4 轮换算法.................................188
10.5 算法选择.................................196
10.6 总结....................................200
第11章 划分和归并.......................... 201
11.1划分....................................201
11.2平衡的归约................................207
11.3归并....................................212
11.4总结....................................218
第12章 复合对象........................... 219
12.1简单复合对象..............................219
12.2动态序列.................................227
12.3基础类型.................................233
12.4总结....................................236
跋......................................... 237
附录A 数学表示............................ 241
附录B 程序设计语言........................ 243
参考文献................................... 253
索引....................................... 257
· · · · · · (收起)
读后感
刚翻，发现个小问题。参考书籍的排列索引有问题，而且还有丢失的条目。不信的可以与原版逐一比较一下即知。 译者前言里面说是直接从原版的pdf直接改写的，所以版面有错误应该由裘负责，希望下一次刷的时候能改正。
回头重新翻看这本书，严重怀疑作者是中了Haskell的毒，里面一坨坨的c++代码，翻译成Haskell都是几句话的事情。分析问题的思路都是Haskell的路子。 我更愿意相信这其实是英雄所见略同，说明这种思维方式很可能就是正确的思维方式。 哇咔咔，static typing rocks！ 回头再发c++...
p5 这个值可以卸载纸上，或者序列化后通过通信链路传输。 “通信链路” "良形式", "真部分的" 碰到这样的翻译，脑袋里过一遍还需要先转换为英文和大脑中的映像建立联系后，才能继续。 我怕是读不完了。
全书很抽象，虽然代码是用C++的子集编写，但如果读者只是个C++入门者，充斥着模版的代码理解起来一样很困难.对于读者，如果缺乏编程经验和必要的数学基础，着实如读天书一般，不如不看，《编程原本》对这个层次的读者几乎没有任何帮助。但随着你编程经验的丰富，并且有...
全书很抽象，虽然代码是用C++的子集编写，但如果读者只是个C++入门者，充斥着模版的代码理解起来一样很困难.对于读者，如果缺乏编程经验和必要的数学基础，着实如读天书一般，不如不看，《编程原本》对这个层次的读者几乎没有任何帮助。但随着你编程经验的丰富，并且有...
用户评价
最近读完一本关于算法的书，让我对效率和优化的重要性有了更深的体会。这本书的封面设计相当简洁，没有过多花哨的图饰，给人的第一感觉就是“干货满满”。翻开目录，看到里面涉及的那些基础但至关重要的算法概念，我就知道这绝对不是一本泛泛而谈的教材。我特别期待书中对于时间复杂度和空间复杂度分析的详尽阐述，以及如何根据实际场景选择最优的算法。我总觉得，一个优秀的程序员，不仅仅是要能写出能运行的代码，更要能写出高效、可维护的代码。这本书似乎正是朝着这个方向，为我提供了一套系统的理论和实践指导。我希望它能帮助我养成一种“未雨绸缪”的编程习惯，在项目初期就考虑到性能瓶颈，并在后续的开发过程中持续进行优化。那种从代码的运行效率中获得的成就感，是其他任何方面都无法比拟的。这本书的到来，感觉就像是为我的编程工具箱增添了一把精密的手术刀，让我能够更精细地打磨我的代码，让它们焕发出应有的光彩。
我一直对那些能够“破除迷信”的书籍充满好奇。很多时候，我们在学习编程的过程中，会听到各种“最佳实践”、“设计模式”等等，但却很少有人能深入解释这些“为什么”。《编程原本》这个名字，在我看来，就带有这样的潜质——它可能是在解答那些我们习以为常，但却不甚了然的“为什么”。我希望这本书能带我深入理解那些被广泛应用的编程范式，比如面向对象、函数式编程等等，不仅仅是知道它们是什么，更要理解它们为何能解决特定类型的问题，以及它们各自的优缺点和适用场景。我设想着，通过阅读这本书，能够帮助我构建一个更加清晰和有条理的编程思维框架，让我在面对不同的编程任务时，能够更自如地选择最适合的工具和方法。我希望它能像一本编程的“哲学书”，引导我去思考编程语言、抽象、数据结构等更深层次的概念，从而提升我的抽象能力和解决问题的通用能力，而不是仅仅停留在对某个特定框架的熟练运用上。
这本书在我书架上已经躺了好一段时间了，我一直被它的名字——《编程原本》——所吸引。这个名字自带一种厚重感，仿佛预示着书中蕴含着的是最根本、最核心的编程智慧，而非那些浮光掠影的技巧。我一直对那些能够“见木见林”的经典著作情有独钟，它们不会随着技术的迭代而显得过时，反而会随着时间的沉淀，愈发显露出其价值。我期待的是，它能像一位饱经风霜的智者，为我揭示编程世界的底层逻辑，教会我如何去思考问题，而非仅仅是解决某个具体的技术难题。毕竟，技术层面的东西更新换代太快，而思维方式、解决问题的能力，才是程序员最宝贵的财富。我希望这本书能提供一种宏观的视角，让我能够跳脱出具体的语言和框架，去理解编程的本质，去领悟那些跨越语言界限的通用原则。我设想着，在某个深夜，当我面对一个棘手的bug，或者在思考一个复杂的系统设计时，能够从这本书中找到一丝启示，一种新的思考角度，让我豁然开朗，找到通往解决之道的那条“原本”的路径。那种感觉，一定会像拨云见日，非常 satisfying。
我最近正在思考如何提升代码的可读性和可维护性，这似乎是一个永远值得探讨的课题。《编程原本》这个书名，让我觉得它可能包含了一些能够帮助我解决这些问题的“根本之道”。我希望书中能够提供一些关于代码风格、命名规范、注释策略等方面的指导，但更重要的是，我期待它能深入剖析为何这些规范如此重要，以及它们是如何影响代码的长期维护成本和团队协作效率的。我希望它能帮助我理解，如何写出不仅自己能看懂，而且也更容易被他人理解和修改的代码。我设想着，通过阅读这本书，能够提升我写出“自解释性”代码的能力，减少沟通成本，降低引入bug的风险。我希望它能教会我如何去“思考”代码，而不仅仅是“编写”代码，让我能够以一种更长远的眼光来审视我的每一行代码，并确保它们能够为项目的健康发展贡献力量。
一直以来，我都对那些能够勾勒出软件开发“全貌”的书籍充满向往。很多时候，我们作为开发者，可能更专注于代码的实现细节，却忽略了整个软件生命周期的其他重要环节。这本书的书名《编程原本》，让我联想到的是一种从源头到终点的完整视角。我期待它能不仅仅停留在代码层面，而是能涵盖软件设计、架构、测试、部署，甚至项目管理等更广泛的领域。我希望它能为我提供一种“上帝视角”，让我能够理解一个软件项目是如何从构思到落地，以及其中每一个环节的相互关联和重要性。我希望它能帮助我理解，为什么某些设计会被采用，为什么某些测试是必不可少的，以及如何才能构建出稳定、可扩展、易于维护的软件系统。这本书的出现，感觉就像是一幅绘制软件开发宏伟蓝图的地图，指引我了解前行的方向，以及那些我可能忽略的重要节点，让我能够成为一个更全面的开发者。
真心不容易懂，一大堆数学的概念和定理。
看不下去了，尼玛，什么语言！！
努力重读吧~~第一遍真心看起来费劲，先快速过一遍内容，然后细读！
传说中的神书，数学不好，完全看不懂，有木有，有木有。
STL大神S.T.L的大作，数学背景和计算机结合的神作
