本网站不提供下载链接，喜欢看书的朋友请关注公众号：【lennylee的碎碎念】(lennyleede)，首页回复：授人以渔，自动获取搜索资源的方法。
内容简介:
《计算机科学丛书：离散数学及其应用（原书第7版）》是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，被美国众多名校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。作者参考使用教师和学生的反馈，并结合自身对教育的洞察，对第7版做了大量的改进，使其成为更有效的教学工具。《计算机科学丛书：离散数学及其应用（原书第7版）》可作为1至2个学期的离散数学课入门教材，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
作者简介:
Kenneth H. Rosen，作为位于新泽西州蒙茅斯县的 AT＆T 实验室杰出技术会员，已经拥有一段很长的职业生涯。目前他在蒙茅斯大学任访问研究教授，为研究生讲授计算机科学课程。
Rosen 博士于1972年获得位于安娜堡的密歇根大学数学学士学位，1976年获得麻省理工学院数学博士学 位，在 Harold Stark 的指导下他撰写了数论方面的博士论文。1982年加入贝尔实验室之前，他曾就职于科罗拉多大学博尔德分校；哥伦布市的俄亥俄州立大学；在欧洛诺市的缅因大学任数学副教授。在 AT&T 工作时，他在蒙茅斯大学任教，教授离散数学、编码理论和数据安全方面的课程。他目前教授算法设计以及计算机安全和密码学方面的课程。
版者的话
译者序
前言
配套网站
致学生
关于作者
符号表
第1章 基础：逻辑和证明
第2章 基本结构：集合、函数、序列、求和与矩阵
第3章 算法
第4章 数论和密码学
第5章 归纳与递归
第6章 计数
第7章 离散概率
第8章 高级计数技术
第9章 关系
第10章 图
第11章 树
第12章 布尔代数
第13章 计算模型
附录
· · · · · · (收起)
原文摘录:
各种算法有若干共有的性质。在描述算法时记住他们是有用的。这些性质是：
* 输入 算法从一个指令的集合得到输入值
* 输出 对每个输入值集合，算法都要从每个指令的集合中产生输出值。输出值就是问题的解。
* 确定性 算法的步骤必须是准确定义的。
* 正确性 对每一组输入值，算法都产生正确的输出值。
* 有限性 对集合中的任何输入，算法都应在有限（可能很多）步之后产生所求的输出。
* 有效性 算法的每一步必须能够准确地执行，并在有限时间内完成。
* 通用性 算法过程应适用于要求形式的所有问题，而不只是用于一组特定的输出值。 (查看原文)
hdy
2011-10-01 19:53:19
—— 引自第99页
The number 1 has this property, since the only positive integer not exceeding 1 is 1 itself, and therefore the
sum is 1. This is a constructive proof. (查看原文)
邻家の躺平人
2011-10-22 19:00:31
—— 引自第61页