书籍介绍
这本书几乎不会让你读得轻松。大量读者在第一遍都会卡住：抽象的数学概念、形式化的引理证明、需要亲手完成的练习，劝退了不少人。但正是这种
作者简介
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程序设计系统和语言论文奖。
AI导读
核心看点
- 揭示编程的数学本质，建立坚实的理论基础
- 通过C++子集代码，展示抽象算法的实现
- 提升对编程的洞察力，超越技巧层面
读者共识
- 公认的神作，但难度极高，被戏称为天书
- 裘宗燕译本质量高，但原文表述依然晦涩
- 需反复重读，随着经验积累方能真正领悟
精彩摘录
- "A value type is a correspondence between a species (abstract or concrete) and a set of datums. 一集数据"
- "Examples of values are integers represented in 32-bit two's complement big-endian format and rational numbers represented as a concatenation of two 32-bit sequences, interpreted as integer numerator and denominator, represented as two's complement big-endian values."
- "Functional programming deals with values; imperative programming deals with objects."
- "An object is well formed if and only if its state is well formed. An object type is properly partial if and only if its value type is properly partial; otherwise it is total. An object type is uniquely represented if and only if its value type is uniquely represented."
- "当且仅当对象具有格式化的(well formed)状态时, 它才是格式化的对象. 对象如果部分格式化, 那就是部分格式化对象. 否则, 就是全格式化对象. 当类型的值可以唯一表示时, 对象类型就是唯一表示的."
- "A computational basis for a type is a finite set of procedures that enable the construction of any other procedure on the type."
- "抽象实体：指永存不变的事物 具体实体：指具体的个别事物，其出现和存在与时间和空间有关 属性：具体实体与抽象实体之间的一种对应关系，它描述了该具体实体的某种性质、度量或者品质 标识：是我们感知实在世界的一种基本概念，它确定一个事物在随时间变化中的不变性 快照：在某个特定时间点上某一具体实体的所有属性的集合"
- "A datum is a finite sequence of 0s and 1s. A value type is a corespondence between a species (abstract or concrete) and a set of datums(data?). A datum together with its interpretation as a value. A memory is a set of words each with an address and a content. An object is a representation of a concr"
目录
用户评论
很久之前看的，仍在受益
太抽象了,不太看得懂
传说中的神书，数学不好，完全看不懂，有木有，有木有。
不是一般的难读啊，大神写的天书，慢慢啃吧
真心不容易懂，一大堆数学的概念和定理。
#好书传阅#helen0156，为什么要看这本书？介绍里有：本书的价值是更根本性的，其终极目标是提升你对编程的洞察力。本书将演绎方法应用于程序设计，讨论程序与保证它们能正确的抽象数学理论之间的联系。
匆匆扫了一遍，感觉新的想法不很多
很多年前从学长手上拿来看的，当时看不懂。以后找个机会好好再学习学习。
4年后，忽然就懂了 // 2014-10-31
下载
收藏