| 作者 |
| 张文博 （美）Richard Johnsonbaugh（理查德 ？ 约翰逊鲍夫） |
| 丛书名 |
| 国外计算机科学教材系列 |
| 出版社 |
| 电子工业出版社 |
| ISBN |
| 9787121385933 |
| 简要 |
| 简介 |
| 内容简介 本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识，并在前一版的基础上进行了修改与扩展。书中通过大量实例，深入浅出地讲解了集合与逻辑，证明，函数、序列与关系，算法，数论，计数方法与鸽巢原理，递推关系，图论，树，网络模型，Boole代数与组合电路，自动机、文法和语言等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽，各章配有相当数量的练习与书末的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。 |
| 目录 |
第1章 集合与逻辑\t1 1．1 集合\t1 1．2 命题\t13 1．3 条件命题与逻辑等价\t20 1．4 论证和推理规则\t29 1．5 量词\t35 1．6 嵌套量词\t46 本章注释\t56 本章复习\t56 本章自测题\t58 上机练习\t60 第2章 证明\t61 2．1 数学系统、直接证明和反例\t61 2．2 更多的证明方法\t70 2．3 归结证明\t83 2．4 数学归纳法\t86 2．5 强数学归纳法和良序性\t103 本章注释\t110 本章复习\t110 本章自测题\t111 上机练习\t111 第3章 函数、序列与关系\t112 3．1 函数\t112 3．2 序列和串\t131 3．3 关系\t143 3．4 等价关系\t154 3．5 关系矩阵\t163 3．6 关系数据库\t168 本章注释\t173 本章复习\t173 本章自测题\t175 上机练习\t176 第4章 算法\t178 4．1 简介\t178 4．2 算法示例\t182 4．3 算法的分析\t188 4．4 递归算法\t208 本章注释\t215 本章复习\t216 本章自测题\t217 上机练习\t218 第5章 数论\t219 5．1 因子\t219 5．2 整数的表示和整数算法\t228 5．3 欧几里得算法\t240 5．4 RSA公钥密码系统\t252 本章注释\t254 本章复习\t254 本章自测题\t255 上机练习\t255 第6章 计数方法与鸽巢原理\t256 6．1 基本原理\t256 6．2 排列与组合\t269 6．3 广义的排列与组合\t284 6．4 排列组合生成算法\t289 6．5 离散概率简介\t296 6．6 离散概率论\t300 6．7 二项式系数和组合恒等式\t311 6．8 鸽巢原理\t317 本章注释\t322 本章复习\t323 本章自测题\t324 上机练习\t325 第7章 递推关系\t326 7．1 简介\t326 7．2 求解递推关系\t338 7．3 在算法分析中的应用\t354 7．4 最小距点对问题\t368 本章注释\t374 本章复习\t374 本章自测题\t375 上机练习\t376 第8章 图论\t378 8．1 简介\t378 8．2 路径和回路\t388 8．3 Hamilton回路和旅行商问题\t400 8．4 最短路径算法\t410 8．5 图的表示\t414 8．6 图的同构\t419 8．7 平面图\t427 8．8 顿时错乱问题\t434 本章注释\t438 本章复习\t439 本章自测题\t440 上机练习\t442 第9章 树\t444 9．1 简介\t444 9．2 树的术语和性质\t451 9．3 生成树\t458 9．4 最小生成树\t465 9．5 二叉树\t471 9．6 树的遍历\t478 9．7 决策树和最短时间排序\t484 9．8 树的同构\t490 9．9 博弈树\t498 本章注释\t507 本章复习\t508 本章自测题\t509 上机练习\t512 第10章 网络模型\t514 10．1 简介\t514 10．2 最大流算法\t519 10．3 最大流最小割定理\t527 10．4 匹配\t530 本章注释\t537 本章复习\t538 本章自测题\t539 上机练习\t540 第11章 Boole代数与组合电路\t541 11．1 组合电路\t541 11．2 组合电路的性质\t547 11．3 Boole代数\t553 11．4 Boole函数与电路合成\t560 11．5 应用\t565 本章注释\t573 本章复习\t574 本章自测题\t575 上机练习\t577 第12章 自动机、文法和语言\t578 12．1 时序电路和有限状态机\t578 12．2 有限状态自动机\t584 12．3 语言和文法\t589 12．4 不确定有限状态自动机\t599 12．5 语言和自动机之间的关系\t605 本章注释\t610 本章复习\t611 本章自测题\t611 上机练习\t613 附录A 矩阵\t614 附录B 代数学复习\t618 附录C 伪代码\t628 部分练习答案\t633 参考文献\t746 |