本书提供了有关编程的一种与众不同的理解。其主旨是,实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如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 Sys...
(展开全部)
Avaluetypeisacorrespondencebetweenaspecies(abstractorconcrete)andasetofdatums.一集数据
——引自第2页
Examplesofvaluesareintegersrepresentedin32-bittwo'scomplementbig-endianformatandrationalnumbersrepresentedasaconcatenationoftwo32-bitsequences,interpretedasintegernumeratoranddenominator,representedastwo'scomplementbig-endianvalues.
——引自第2页
本书主要是对香港亚文化现象的描摹,是一个70后作家贴近描写波希文艺范儿的众生相,以文学、音乐与诗歌去贯通。廖伟棠在亲身体悟过其中的生活后,以一贯锐利沉郁的眼睛,...
蔻蔻梁本名梁春雪,原南方都市报城市杂志中心首席编辑,美食旅游作家,足迹遍布50个国家,300多个城市,雅虎“环球80天”出征队员之一。出版作品:2012年10月...
针灸医案选读 本书特色 《针灸医案选读》是一部对临床经典针灸医案进行详细剖析阐述的图书。它依据《中医内科学》的疾病分类法,将《针灸大成》、《针灸资生经》、《针灸...
◆作者简介◆★苏珊•福沃德博士是享有国际盛名的心理医师和畅销作家,还是颇受欢迎的演说家、节目嘉宾和媒体人。她的标志性著作《恨女人的男人和爱他们的女人》精装本长踞...
俞樾的诗句“花落春仍在”对近代中国来说是一个巨大的隐喻。人们常常只能看到落花飘零于泥尘的“屈辱史”,而看不到中国既有的“春天”依然还在。随着既有“春天”的在与不...
压力容器设计知识-第二版 本书特色 本书是《压力容器实用技术丛书》之一。全面阐述了各种压力容器设计的理论知识、基本计算方法、材料选择、制造和验收以及设计实例等。...
继《小林漫画:人间治愈术》问世一年,小林全新作品集问世。小林亲自精选最满意的漫画近300幅,散文若干篇。浓缩一年创作精华,收藏每次阅读时的惊喜感动。在朋友圈看我...
汪曾祺(1920-1997),被誉为“抒情的人道主义者,中国最后一个纯粹的文人,中国最后一个士大夫。”江苏高邮人,1943年毕业于昆明西南联合大学,1946年起...
工作场所危险化学品速查手册-(原著第四版) 内容简介 通过本手册可迅速查得工作场所中各种危险化学品的信息。本手册包含750余种危险化学品的基本信息,比如毒物的性...
张浚,字德远,汉州绵竹(今四川绵竹)人,南宋前期著名政治家、学者,曾官至宰相,三度掌领南宋军政。撰有《论语解》《易解并杂记》《春秋解》《绍兴奏议》《隆兴奏议》《...
Professor Tambiah, one of todays leading anthropologists, is known particularly ...
全面介绍世界各主要宗教打开理解世界的另一个面向◎ 编辑推荐如果不懂宗教,我们可能无法欣赏世界上的大多数文艺作品;如果不懂宗教,我们很难真正理解生活在其他文化中的...
亚当斯・贝克夫人是20世纪初英国著名的佛教读物作家,她在与任外交官的丈夫在印度居住期间,被神秘的佛教和印度教传统所深深吸引,于是立志从事研究著述。她不仅搜集了大...
门诊化验报告解读 本书特色 目前随着门诊临床实验室检验技术的发展,化验检测项目也不断增加,即使是一位资深医师有时也需要占用时间翻阅一下化验检查的相关文献,确定化...
乔成林临证精华 本书特色 介绍了陕西省名老中医——乔成林撰写的有关他们的学术研究、临床经验、医案医话和学术思想,内容涵盖内、外、妇、儿、皮肤、五官、针推、骨伤、...
编辑推荐:移动互联网时代,各种社交软件大幅扩展了我们的交际圈,也使得人与人之间的实时联系更为紧密,如果能够充分利用这样的契机,你就可以建立比以往任何时代都要强大...
手作艺术家、室内装饰设计师在祖母的影响下,从小就对手作和绘画有着浓厚的兴趣。学习了室内装饰、家具设计、色彩学以及造型学后,在与拼布相关的公司就职。此后在家中开设...
AcollectionofdisturbingworksbyJ.MichaelFaderincludingpoetry,shortstoriesandartwo...
黄一农,台湾“中央研究院”院士。1977年毕业于台湾新竹清华大学物理系,1985年获美国哥伦比亚大学物理系博士学位,旋即至麻州大学天文系从事研究。1987年改行...
脉诀刊误集解-诊法-16 本书特色 《脉诀刊误集解》,又名《脉诀刊误》二卷。脉学*作。元·戴起宗撰。戴氏认为当时流传颇广的离阳生《脉诀》。内容虽较...