离散数学及其应用(原书第5版)

离散数学及其应用(原书第5版)

作者:[美]KennethH·Rosen

出版社:机械工业出版社

出版年:2007-6

评分:9.0

ISBN:9787111203261

所属分类:教辅教材

书刊介绍

作品目录

出版者的话
专家指导委员会
作者介绍
前言
第1章 基础:逻辑和证明、集合、函数
第2章 基础:算法、整数和矩阵
第3章 数学推理、归纳与递归
第4章 计数
第5章 离散概率
第6章 高级计数技术
第7章 关系
第8章 图
第9章 树
第10章 布尔代数
第11章 计算模型
附录A 指数函数和对数函数
附录B 伪代码
奇数练习题答案
推荐读物
参考文献
· · · · · ·

精彩摘录

各种算法有若干共有的性质。在描述算法时记住他们是有用的。这些性质是:*输入算法从一个指令的集合得到输入值*输出对每个输入值集合,算法都要从每个指令的集合中产生输出值。输出值就是问题的解。*确定性算法的步骤必须是准确定义的。*正确性对每一组输入值,算法都产生正确的输出值。*有限性对集合中的任何输入,算法都应在有限(可能很多)步之后产生所求的输出。*有效性算法的每一步必须能够准确地执行,并在有限时间内完成。*通用性算法过程应适用于要求形式的所有问题,而不只是用于一组特定的输出值。

——引自第99页


Thenumber1hasthisproperty,sincetheonlypositiveintegernotexceeding1is1itself,andthereforethesumis1.Thisisaconstructiveproof.

——引自第61页

相关推荐

微信二维码