离散数学

离散数学
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2005-10
版次: 1
ISBN: 9787121012587
定价: 66.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 685页
字数: 1232千字
18人买过
  • 本书从算法分析和问题求解的角度,全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例,深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题,既着重于各部分内容之间的紧密联系,又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽,各章配有相当数量的习题与书后的提示和答案,为读者迅速掌握相关知识提供了有效的帮助。
      
      
      本书既可作为计算机科学及计算数学等专业的本科生和研究生教材,也可作为工程技术人员和相关人员的参考书。 石纯一,清华大学计算机系教授,从事人工智能的应用基础研究,包括机器学习、自动揄和基于Agent的计算等方面;现任中国计算机学会人工智能与模式识别专业委员会主任委员。 第1章 逻辑与证明

      1.1 命题

      1.2 条件命题与逻辑等价

      1.3 量词

      1.4 嵌套的量词

      1.5 证明

      1.6 归结证明

      1.7 数学归纳法

      1.8 强数学归纳法和良序性

      注释

      本章复习

      本章自测题

      上机练习

    第2章 数学语言

      2.1 集合

      2.2 函数

      2.3 序列和串

      注释

      本章复习

      本章自测题

      上机练习

    第3章 关系

      3.1 关系

      3.2 等价关系

      3.3 关系矩阵

      3.4 关系数据库

      注释

      本章复习

      本章自测题

      上机练习

    第4章 算法

      4.1 简介

      4.2 算法举例

      4.3 算法的分析

      4.4 递归算法

      注释

      本章复习

      本章自测题

      上机练习

    第5章 数论简介

      5.1 因子

      5.2 整数的表示和整数算法

      5.3 欧几里得算法

      5.4 RSA公钥密码系统

      注释

      本章复习

      本章自测题

      上机练习

    第6章 计数方法与鸽巢原理

      6.1 基本原理

      6.2 排列与组合

      6.3 排列组合生成算法

      6.4 离散概率简介

      6.5 离散概率论

      6.6 广义的排列和组合

      6.7 二项式系数和组合恒等式

      6.8 鸽巢原理

      注释

      本章复习

      本章自测题

      上机练习

    第7章 递归关系

      7.1 简介

      7.2 求解递归关系

      7.3 在算法分析中的应用

      注释

      本章复习

      本章自测题

      上机练习

    第8章 图论

      8.1 简介

      8.2 路径和回路

      8.3 Hamilton回路和旅行商问题

      8.4 最短路径算法

      8.5 图的表示

      8.6 图的同构

      8.7 平面图

      8.8 顿时错乱问题

      注释

      本章复习

      本章自测题

      上机练习

    第9章 树

      9.1 简介

      9.2 树的术语和性质

      9.3 生成树

      9.4 最小生成树

      9.5 二叉树

      9.6 树的遍历

      9.7 决策树和最短时间排序

      9.8 树的同构

      9.9 博弈树

      注释

      本章复习

      本章自测题

      上机练习

    第10章 网络模型

      10.1 简介

      10.2 最大流算法

      10.3 最大流最小割定理

      10.4 匹配

      注释

      本章复习

      本章自测题

      上机练习

    第11章 Boole代数与组合电路

      11.1 组合电路

      11.2 组合电路的性质

      11.3 Boole代数

      11.4 Boole函数与电路合成

      11.5 应用

      注释

      本章复习

      本章自测题

      上机练习

    第12章 自动机、文法和语言

      12.1 时序电路和有限状态机

      12.2 有限状态自动机

      12.3 语言和文法

      12.4 不确定有限状态自动机

      12.5 语言和自动机之间的关系

      注释

      本章复习

      本章自测题

      上机练习

    第13章 计算几何

      13.1 最小距点对问题

      13.2 计算凸包的一种算法

      注释

      本章复习

      本章自测题

      上机练习

    附录A 矩阵

    附录B 代数学复习

    附录C 伪代码

    部分习题答案

    参考文献

    符号表
  • 内容简介:
    本书从算法分析和问题求解的角度,全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例,深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题,既着重于各部分内容之间的紧密联系,又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽,各章配有相当数量的习题与书后的提示和答案,为读者迅速掌握相关知识提供了有效的帮助。
      
      
      本书既可作为计算机科学及计算数学等专业的本科生和研究生教材,也可作为工程技术人员和相关人员的参考书。
  • 作者简介:
    石纯一,清华大学计算机系教授,从事人工智能的应用基础研究,包括机器学习、自动揄和基于Agent的计算等方面;现任中国计算机学会人工智能与模式识别专业委员会主任委员。
  • 目录:
    第1章 逻辑与证明

      1.1 命题

      1.2 条件命题与逻辑等价

      1.3 量词

      1.4 嵌套的量词

      1.5 证明

      1.6 归结证明

      1.7 数学归纳法

      1.8 强数学归纳法和良序性

      注释

      本章复习

      本章自测题

      上机练习

    第2章 数学语言

      2.1 集合

      2.2 函数

      2.3 序列和串

      注释

      本章复习

      本章自测题

      上机练习

    第3章 关系

      3.1 关系

      3.2 等价关系

      3.3 关系矩阵

      3.4 关系数据库

      注释

      本章复习

      本章自测题

      上机练习

    第4章 算法

      4.1 简介

      4.2 算法举例

      4.3 算法的分析

      4.4 递归算法

      注释

      本章复习

      本章自测题

      上机练习

    第5章 数论简介

      5.1 因子

      5.2 整数的表示和整数算法

      5.3 欧几里得算法

      5.4 RSA公钥密码系统

      注释

      本章复习

      本章自测题

      上机练习

    第6章 计数方法与鸽巢原理

      6.1 基本原理

      6.2 排列与组合

      6.3 排列组合生成算法

      6.4 离散概率简介

      6.5 离散概率论

      6.6 广义的排列和组合

      6.7 二项式系数和组合恒等式

      6.8 鸽巢原理

      注释

      本章复习

      本章自测题

      上机练习

    第7章 递归关系

      7.1 简介

      7.2 求解递归关系

      7.3 在算法分析中的应用

      注释

      本章复习

      本章自测题

      上机练习

    第8章 图论

      8.1 简介

      8.2 路径和回路

      8.3 Hamilton回路和旅行商问题

      8.4 最短路径算法

      8.5 图的表示

      8.6 图的同构

      8.7 平面图

      8.8 顿时错乱问题

      注释

      本章复习

      本章自测题

      上机练习

    第9章 树

      9.1 简介

      9.2 树的术语和性质

      9.3 生成树

      9.4 最小生成树

      9.5 二叉树

      9.6 树的遍历

      9.7 决策树和最短时间排序

      9.8 树的同构

      9.9 博弈树

      注释

      本章复习

      本章自测题

      上机练习

    第10章 网络模型

      10.1 简介

      10.2 最大流算法

      10.3 最大流最小割定理

      10.4 匹配

      注释

      本章复习

      本章自测题

      上机练习

    第11章 Boole代数与组合电路

      11.1 组合电路

      11.2 组合电路的性质

      11.3 Boole代数

      11.4 Boole函数与电路合成

      11.5 应用

      注释

      本章复习

      本章自测题

      上机练习

    第12章 自动机、文法和语言

      12.1 时序电路和有限状态机

      12.2 有限状态自动机

      12.3 语言和文法

      12.4 不确定有限状态自动机

      12.5 语言和自动机之间的关系

      注释

      本章复习

      本章自测题

      上机练习

    第13章 计算几何

      13.1 最小距点对问题

      13.2 计算凸包的一种算法

      注释

      本章复习

      本章自测题

      上机练习

    附录A 矩阵

    附录B 代数学复习

    附录C 伪代码

    部分习题答案

    参考文献

    符号表
查看详情
相关图书 / 更多
离散数学
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学
离散数学(第二版)
古天龙;徐周波;常亮
离散数学
离散数学(第二版)
邹丽娜;董丽薇
离散数学
离散数学(第2版)
蔡之华
离散数学
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学
离散数学
胡新启;季霞;杨志坚
离散数学
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学
离散数学及其应用
孙志海
离散数学
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
您可能感兴趣 / 更多
离散数学
曾经沧海
约翰巴斯