Alexander Stepanov于1967～1972年间在莫斯科国立大学学习数学，从1972年开始在苏联，1977年移民美国后在美国从事编程工作。他编写过操作系统、编程工具、编译器和各种库。他在程序设计基础方面的工作先后得到GE、Polytechnic、AT&T、惠普、Silicon Graphics的支持，2002年后是Adobe的支持。1995年因C++标准模板库的设计获Dr.Dobb的程序设计杰出贡献奖。
Paul McJones于1967～1971年间在加州大学伯克利分校学习工程数学。从1967年开始介入程序设计，涉足的领域包括操作系统、程序设计环境、事务处理系统以及企业和客户应用系统等。他先后在加州大学、IBM、Xerox、Tandem、DEC工作，2003年至今在Adobe公司。1982年他与合作者一起因其论文“The Re...
Alexander Stepanov于1967～1972年间在莫斯科国立大学学习数学，从1972年开始在苏联，1977年移民美国后在美国从事编程工作。他编写过操作系统、编程工具、编译器和各种库。他在程序设计基础方面的工作先后得到GE、Polytechnic、AT&T、惠普、Silicon Graphics的支持，2002年后是Adobe的支持。1995年因C++标准模板库的设计获Dr.Dobb的程序设计杰出贡献奖。
Paul McJones于1967～1971年间在加州大学伯克利分校学习工程数学。从1967年开始介入程序设计，涉足的领域包括操作系统、程序设计环境、事务处理系统以及企业和客户应用系统等。他先后在加州大学、IBM、Xerox、Tandem、DEC工作，2003年至今在Adobe公司。1982年他与合作者一起因其论文“The Recovery Manager of the System R Database Manager”获得ACM程序设计系统和语言论文奖。
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. (查看原文)
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material. While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.(1回应)
2017-11-25 22:07
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material.
While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.
用非常简短精确的语言给data、value、type、memory、object下了定义： 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 concrete entity as a value in memory.
2013-01-02 00:00
用非常简短精确的语言给data、value、type、memory、object下了定义：
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 concrete entity as a value in memory.引自 1.2 Values & 1.3 Objects
用非常简短精确的语言给data、value、type、memory、object下了定义： 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 concrete entity as a value in memory.
2013-01-02 00:00
用非常简短精确的语言给data、value、type、memory、object下了定义：
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 concrete entity as a value in memory.引自 1.2 Values & 1.3 Objects
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material. While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.(1回应)
2017-11-25 22:07
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material.
While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material. While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.(1回应)
2017-11-25 22:07
Only by reading the code, proving the lemmas, and doing the exercises can readers gain understanding of the material.
While the book is terse, a careful reader will eventually see the connections between its parts and the rrasons,for our choice of material.
用非常简短精确的语言给data、value、type、memory、object下了定义： 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 concrete entity as a value in memory.
2013-01-02 00:00
用非常简短精确的语言给data、value、type、memory、object下了定义：
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 concrete entity as a value in memory.引自 1.2 Values & 1.3 Objects
wuyve
机械工业出版社华章公司2012版
坚果
机械工业出版社华章公司2012版
1 有用 翠羽黄衫Dante 2017-10-04
挺有意思的。给编程一个比较严谨的数学描述。
0 有用 wilbur 2011-12-01
好书啊，就像看哲学一样啊。。
0 有用 ➗ 2011-11-14
没读完，应该也不会再读了，concepts的提议都被拒了，还有啥好玩的呢。
0 有用 demonhunter 2010-06-29
刚看了前面几章，跟我想像的有点不一样。主要是一些形式化的东西，离散数学中有奖。如果想看看c++语言所依赖的数学原理，可以看这本书，这大概也是这本书题的含义。
1 有用 [已注销] 2012-12-31
这本书成功的让我感觉到就是imperative language也是可以很好的数学化抽象. 虽然还是很麻烦... anyway我感觉...懂了抽代+看过某些算法实际上这书只需要随便浏览一下... (比如两个tree的isomorphism)
1 有用 翠羽黄衫Dante 2017-10-04
挺有意思的。给编程一个比较严谨的数学描述。
0 有用 楠木 2014-04-01
编程没有什么本质不本质之说。
0 有用 云遮断归途 2014-03-26
STL设计者和另外一位作者编写的书。书中前几章定义一些基本问题，环的问题等。后面主要将迭代器以及基于迭代器的操作的设计思想。
0 有用 蝉 2014-03-20
: TP311.1/S827
0 有用 一寸行者 2013-02-23
我的这本书有缺页。