出版社: 机械工业出版社
副标题: 英文版
出版年: 2010
页数: 262
定价: 49.00元
装帧: 平装
ISBN: 9787111300274
内容简介 · · · · · ·
本书提供了有关编程的一种与众不同的理解。其主旨是,实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。例如,如何定义快速求幂算法,使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。
这不是一本很容易读的书,它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的,其终极目标是提升你对编程的洞察力。要想从中大获裨益,你需要从头到尾认真学习:阅读代码,证明引理,完成练习。到结束之时,你将看到如何把这里讨论的演绎式方法应用到你的程序中,保证你做出的软件部件能一起工作,并表现出它们所应该表现的行为。
书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过Web得到)采用C++的一个小子集书写,这样做是为了让所有有经验的程...
本书提供了有关编程的一种与众不同的理解。其主旨是,实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。例如,如何定义快速求幂算法,使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。
这不是一本很容易读的书,它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的,其终极目标是提升你对编程的洞察力。要想从中大获裨益,你需要从头到尾认真学习:阅读代码,证明引理,完成练习。到结束之时,你将看到如何把这里讨论的演绎式方法应用到你的程序中,保证你做出的软件部件能一起工作,并表现出它们所应该表现的行为。
书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过Web得到)采用C++的一个小子集书写,这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言,是由Sean Parent和Bjarne Stroustrup一起设计的。
无论你是一位软件开发者,还是其他以编程作为一项重要活动的专业人员,或者是一名在校的学生,你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理:数学对于编程是绝好的东西,理论对于实际是绝好的东西。
作者简介 · · · · · ·
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程序设计系统和语言论文奖。
目录 · · · · · ·
· · · · · · (收起)
喜欢读"编程的本质"的人也喜欢的电子书 · · · · · ·
喜欢读"编程的本质"的人也喜欢 · · · · · ·
编程的本质的话题 · · · · · · ( 全部 条 )



编程的本质的书评 · · · · · · ( 全部 9 条 )



> 更多书评9篇
-
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
-
开瓶少女 (Lang Live the World!)
用非常简短精确的语言给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 val...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.
回应 2013-01-02 00:00 -
➗ (程序猿)
阅读后记 之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。 (1回应)2011-11-07 23:06
阅读后记之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。1回应 2011-11-07 23:06
-
➗ (程序猿)
阅读后记 之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。 (1回应)2011-11-07 23:06
阅读后记之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。1回应 2011-11-07 23:06 -
开瓶少女 (Lang Live the World!)
用非常简短精确的语言给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 val...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.
回应 2013-01-02 00:00 -
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. (1回应)
2017-11-25 22:07
-
开瓶少女 (Lang Live the World!)
用非常简短精确的语言给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 val...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.
回应 2013-01-02 00:00 -
➗ (程序猿)
阅读后记 之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。 (1回应)2011-11-07 23:06
阅读后记之前看完本书对其与haskell typeclass类似的编程风格大为惊喜。今天才了解到,这个概念其实曾是一个c++0x正式的proposal( http://en.wikipedia.org/wiki/Concepts_(C%2B%2B) ),看完这个proposal再看本书代码就容易理解了,可惜被拒了。不过就算被接受,c++模板也还是很难用啊。。。1回应 2011-11-07 23:06
论坛 · · · · · ·
出版社有没有计划中文版? | 来自mikeyao | 13 回应 | 2017-08-18 |
在哪儿借这本书 · · · · · ·
这本书的其他版本 · · · · · · ( 全部3 )
- Addison-Wesley Professional版 2009-6-19 / 18人读过
- 机械工业出版社华章公司版 2012-1-10 / 68人读过
以下豆列推荐 · · · · · · ( 全部 )
- 计算机豆列 (天下)
- 要买的 (良启)
- Symbol, Logic and Computation (开瓶少女)
- #码农基本功 (慎思)
- 技术阅读列表 (Element)
谁读这本书?
二手市场
订阅关于编程的本质的评论:
feed: rss 2.0
0 有用 圆缺 2014-02-10
实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。
1 有用 中途迷路Dante 2017-10-04
挺有意思的。给编程一个比较严谨的数学描述。
0 有用 透明 2010-11-14
跟STL的实现隐含着丝丝联系,总觉得还不是那么“本质”
0 有用 2sin18° 2010-04-26
非常严谨非常科学非常有深度……以至于我在昊海犹豫了半天还是觉得不买了,因为太ZB了……
0 有用 ➗ 2011-11-14
没读完,应该也不会再读了,concepts的提议都被拒了,还有啥好玩的呢。
0 有用 楠木 2014-04-01
编程没有什么本质不本质之说。
0 有用 云遮断归途 2014-03-26
STL设计者和另外一位作者编写的书。书中前几章定义一些基本问题,环的问题等。后面主要将迭代器以及基于迭代器的操作的设计思想。
0 有用 圆缺 2014-02-10
实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。
1 有用 中途迷路Dante 2017-10-04
挺有意思的。给编程一个比较严谨的数学描述。
0 有用 一寸行者 2013-02-23
我的这本书有缺页。