具体数学：计算机科学基础（第2版）

图书标准信息

• 作者 [美]葛立恒、[美]高德纳、[美]帕塔许尼克 著；张明尧、张凡 译
• 出版社 人民邮电出版社
• 出版时间 2013-04
• 版次 2
• ISBN 9787115308108
• 定价 99.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 563页
• 字数 1003千字
• 正文语种 简体中文
• 原版书名 Concrete Mathematics: A Foundation for Computer Science
• 丛书 图灵计算机科学丛书

【内容简介】

　　《图灵计算机科学丛书：具体数学·计算机科学基础》第二作者、图灵奖得主计算机科学泰斗Donald E. Knuth（高德纳）在接受图灵社区的访谈时如是说：
　　“《具体数学》是一份‘纲领’，它的内容是我对于数学诸多方面应该如何教与学的思考。熟练掌握代数公式的基础技能，对我来说始终都是关键所在。这些内容在TAOCP里都有讨论，但只能是蜻蜓点水；在斯坦福大学的课程中，我得以深入更多的细节，而那些课程都被囊括在这本书中了。”
　　书中不仅讲述了数学问题和技巧，而且教导解决问题的方法，解说深入浅出，妙趣横生。大师们诙谐、细腻的笔触，描绘着数学工作中的欢乐和忧伤，那些或平淡、或深刻、或严肃、或幽默的涂鸦，更让我们在轻松愉悦的心境下体会数学的美妙。
　　《图灵计算机科学丛书：具体数学·计算机科学基础》是一本在大学中广泛使用的经典数学教科书．书中讲解了许多计算机科学中用到的数学知识及技巧，教你如何把一个实际问题一步步演化为数学模型，然后通过计算机解决它，特别着墨于算法分析方面．其主要内容涉及和式、整值函数、数论、二项式系数、特殊的数、生成函数、离散概率、渐近式等，都是编程所必备的知识．另外，本书包括了六大类500 多道习题，并给出了所有习题的解答，有助读者加深书中内容的理解．
　　本书面向从事计算机科学、计算数学、计算技术诸方面工作的人员，以及高等院校相关专业的师生。

【作者简介】

　　Ronald L. Graham（葛立恒），著名数学家，美国加州大学圣迭戈分校计算机与信息科学专业教席（Jacobs Endowed Chair），AT&T实验室研究中心荣誉首席科学家，美国数学学会前任主席。Graham于1999年成为美国计算机学会会士，200 3年获得美国数学学会的斯蒂尔终身成就奖，2012年成为美国数学学会会士。他还曾获得美国数学学会颁发的Lester R. Ford奖和Carl Allendoerfer奖以及其他众多奖项。

　　Donald E. Knuth（高德纳），著名计算机科学家，算法与程序设计技术的先驱者、斯坦福大学计算机系荣休教授、计算机排版系统TEX和METAFONT字体系统的发明人，因诸多成就以及大量富于创造力和具有深远影响的著作（19部书，160篇论文）而誉满全球。近些年，他将精力全部投入到《计算机程序设计艺术》七卷集的史诗般创作中。Knuth教授获得过许多奖项和荣誉，包括美国计算机协会图灵奖、美国国家科学奖章、美国数学学会的斯蒂尔奖，以及因发明先进技术于1996年荣获的京都奖。1996年，设立了以其名字命名的Donald E. Knuth奖，授予那些为计算机科学基础做出杰出贡献的人。

　　Oren Patashnik，著名计算机科学家，BibTeX的创始人之一，是位于拉荷亚的通信研究中心的研究员。他1976年毕业于耶鲁大学，后来在斯坦福大学师从Knuth，1980年就职于贝尔实验室。1985年与Leslie Lamport合作创建了BibTeX（LaTeX的一种工具，用于管理文献、产生文献目录）。

　　译者简介
　　张明尧，1945年12月出生，安徽大学数学系毕业并获得中国科学院数学研究所博士学位。长期从事解析数论、代数数论以及计算数论方面的研究工作，参与翻译的著作有《数论中未解决的问题（第2版）》（R. K. Guy著）、《纯数学教程（纪念版）》（G. H. Hardy著）、《哈代数论（第6版）》（G. H. Hardy著）和《算术探索》（C. F. Gauss著）等。

　　张凡，1982年7月出生，加拿大Concordia大学数学系毕业，并获得统计专业硕士学位。参与翻译的著作有《数论导引（第5版）》（G. H. Hardy著）和《哈代数论（第6版）》（G. H. Hardy著）等。

【目录】

第1章递归问题
1.1河内塔
1.2平面上的直线
1.3约瑟夫问题
习题

第2章和式
2.1记号
2.2和式和递归式
2.3和式的处理
2.4多重和式
2.5一般性的方法
2.6有限微积分和无限微积分
2.7无限和式
习题

第3章整值函数
3.1底和顶
3.2底和顶的应用
3.3底和顶的递归式
3.4mod：二元运算
3.5底和顶的和式
习题

第4章数论
4.1整除性
4.2素数
4.3素数的例子
4.4阶乘的因子
4.5互素
4.6mod：同余关系
4.7独立剩余
4.8进一步的应用
4.9函数和函数
习题

第5章二项式系数
5.1基本恒等式
5.2基本练习
5.3处理的技巧
5.4生成函数
5.5超几何函数
5.6超几何变换
5.7部分超几何和式
5.8机械求和法
习题

第6章特殊的数
6.1斯特林数
6.2欧拉数
6.3调和数
6.4调和求和法
6.5伯努利数
6.6斐波那契数
6.7连项式
习题

第7章生成函数
7.1多米诺理论与换零钱
7.2基本策略
7.3解递归式
7.4特殊的生成函数
7.5卷积
7.6指数生成函数
7.7狄利克雷生成函数
习题

第8章离散概率
8.1定义
8.2均值和方差
8.3概率生成函数
8.4抛掷硬币
8.5散列法
习题

第9章渐近式
9.1量的等级
9.2大O记号
9.3O运算规则
9.4两个渐近技巧
9.5欧拉求和公式
9.6最后的求和法
习题

附录A习题答案
附录B参考文献
附录C习题贡献者
译后记
索引
表索引