| 第1章 逻辑与证明 1.1 命题 本节复习 练习 1.2 条件命题与逻辑等价 本节复习 练习 1.3 量词 本节复习 练习 1.4 证明 本节复习 练习 1.5 归结证明 本节复习 练习 1.6 数学归纳法 本节复习 练习 问题求解：数学归纳法 注释 本章复习 本章自测题 上机练习 第2章 数学语言 2.1 集合 本节复习 练习 2.2 序列和字符串 本节复习 练习 2.3 数系 本节复习 练习 2.4 关系 本节复习 练习 问题求解：关系 2.5 等价关系 本节复习 练习 问题求解：等价关系 2.6 关系矩阵 本节复习 练习 2.7 关系数据库 本节复习 练习 2.8 函数 本节复习 练习 注释 本章复习 本章自测题 上机练习 第3章 算法 3.1 简介 本节复习 练习 3.2 算法的表示 本节复习 练习 3.3 Euclid算法 本节复习 练习 3.4 递归算法 本节复习 练习 3.5 算法的复杂性 本节复习 练习 问题求解：算法的设计和分析 3.6 Euclidean算法分析 本节复习 练习 3.7 RSA公钥密码系统 本节复习 练习 注释 本章复习 本章自测题 上机练习 第4章 计数方法和鸽笼原理 4.1 基本原理 本节复习 练习 问题求解：计数 4.2 排列与组合 本节复习 练习 问题求解：组合 4.3 排列组合生成算法 本节复习 练习 4.4 离散概率简介 本节复习 练习 4.5 离散概率论 本节复习 练习 4.6 广义的排列和组合 本节复习 练习 4.7 二项式系数和组合恒等式 本节复习 练习 4.8 鸽笼原理 本节复习 练习 注释 本章复习 本章自测题 上机练习 第5章 递归关系 5.1 简介 本节复习 练习 5.2 解递归关系 本节复习 练习 问题求解：递归关系 5.3 在分析算法中的应用 本节复习 练习 注释 本章复习 本章自测题 上机练习 第6章 图论 6.1 简介 本节复习 练习 6.2 路径和回路 本节复习 练习 问题求解：图 6.3 Hamilton回路和旅行商问题 本节复习 练习 6.4 最短路径算法 本节复习 练习 6.5 图的表示 本节复习 练习 6.6 图的同构 本节复习 练习 6.7 平面图 本节复习 练习 6.8 Instant Insanity问题 本节复习 练习 注释 本章复习 本章自测题 上机练习 第7章 树 7.1 简介 本节复习 练习 7.2 树的术语和性质 本节复习 练习 问题求解：树 7.3 生成树 本节复习 练习 7.4 最小生成树 本节复习 练习 7.5 二叉树 本节复习 练习 7.6 树的遍历 本节复习 练习 7.7 决策树和最短时间排序 本节复习 练习 7.8 树的同构 本节复习 练习 7.9 博弈树 本节复习 练习 注释 本章复习 本章自测题 上机练习 第8章 网络模型 8.1 简介 本节复习 练习 8.2 最大流算法 本节复习 练习 8.3 最大流最小割定理 本节复习 练习 8.4 匹配 本节复习 练习 问题求解：匹配 注释 本章复习 本章自测题 上机练习 第9章 Boole代数与组合电路 9.1 组合电路 本节复习 练习 9.2 组合电路的性质 本节复习 练习 9.3 Boole代数 本节复习 练习 问题求解：Boole代数 9.4 Boole函数与电路综合 本节复习 练习 9.5 应用 本节复习 练习 注释 本章复习 本章自测题 上机练习 第10章 自动机、文法和语言 10.1 时序电路和有限状态机 本节复习 练习 10.2 有限状态自动机 本节复习 练习 10.3 语言和文法 本节复习 练习 10.4 不确定有限状态自动机 本节复习 练习 10.5 语言和自动机之间的关系 本节复习 练习 注释 本章复习 本章自测题 上机练习 第11章 计算几何 11.1 最小距点对问题 本节复习 练习 11.2 最小距点对问题的下界 本节复习 练习 11.3 计算凸包的一种算法 本节复习 练习 注释 本章复习 本章自测题 上机练习 附录A 矩阵 附录B 代数学回顾 部分习题答案与提示 |
内容加载中，请稍后...
商品评论（0条）