孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

离散数学（第2版）

离散数学（第2版）
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 编
出版社: 清华大学出版社
2011-10
版次: 2
ISBN: 9787302265795
定价: 38.00
装帧: 平装
开本: 16开
纸张: 胶版纸
分类: 教材教辅考试>教材>大学教材>工程技术
54人买过
  •  离散数学是数学中专门用来研究离散对象及其关系的一个分支，是计算机科学与技术专业的一门重要基础课。它所研究的对象是离散的数量关系和离散的数学结构模型。《离散数学（第2版）》共10章，主要包含数理逻辑、集合与关系、函数、组合计数、图和树、代数系统、自动机和初等数论等内容。《离散数学（第2版）》中的“历史注记”可以帮助读者理解数学，洞察内在本质。

     《离散数学（第2版）》体系严谨，选材精炼，讲解翔实，例题丰富，注重理论与计算机科学技术的实际问题相结合，《离散数学（第2版）》选配了大量难度适当的习题，并给出奇数题的答案，适合教学。《离散数学（第2版）》适合作为计算机和相关专业本科生“离散数学”的教学用书，亦可作为对离散数学感兴趣的人员的参考书。
    第1章 命题逻辑

    1.1 现代逻辑学的基本研究方法

    1.2 命题及其表示法

    1.2.1 命题的概念

    1.2.2 联结词

    1.3 命题公式与语句形式化

    1.3.1 命题公式的定义

    1.3.2 公式的层次

    1.3.3 语句形式化

    1.3.4 复合命题真假值

    1.3.5 真值表

    1.4 重言式

    1.4.1 重言式概述

    1.4.2 逻辑等价式

    1.4.3 等值演算

    1.5 对偶与范式

    1.5.1 对偶

    1.5.2 简单合取式和简单析取式

    1.5.3 范式

    1.5.4 范式的唯一性--主范式

    1.6 其他联结词

    1.6.1 n元真值函数

    1.6.2 真值函数与命题公式的关系

    1.6.3 联结词完备集

    1.6.4 单元素联结词构成的联结词完备集

    1.7 命题演算的推理理论

    1.7.1 有效推理

    1.7.2 有效推理的等价定理29离散数学（第2版）目录

    1.7.3 重言蕴涵式

    1.7.4 形式推理系统

    1.7.5 自然推理系统

    1.8 命题演算中的归结推理

    1.8.1 归结推理规则

    1.8.2 归结反演

    1.8.3 命题逻辑归结反演的合理性和完备性

    习题

    第2章 谓词逻辑

    2.1 谓词逻辑的基本概念

    2.1.1 个体词

    2.1.2 谓词

    2.1.3 量词

    2.2 谓词逻辑公式与翻译

    2.2.1 一阶语言

    2.2.2 自由与约束

    2.2.3 闭公式

    2.2.4 谓词逻辑公式的解释

    2.2.5 谓词逻辑命题符号化

    2.2.6 一阶公式的分类

    2.3 谓词逻辑等值演算

    2.3.1 基本等价式与置换规则

    2.3.2 谓词逻辑前束范式

    2.4 谓词演算的推理理论

    2.4.1 推理定律

    2.4.2 量词消去与引入规则

    2.4.3 一阶谓词演算公理系统F1

    2.4.4 自然推理系统F2

    2.5 谓词演算中的归结推理

    2.5.1 子句型

    2.5.2 置换和合一

    2.5.3 合一算法

    2.5.4 归结式

    2.5.5 归结反演及其完备性

    2.6 逻辑在计算机科学中的作用

    2.6.1 逻辑与计算

    2.6.2 逻辑与计算机的起源

    2.6.3 逻辑与程序设计

    习题

    第3章 集合与关系

    3.1 集合的概念和表示法

    3.1.1 集合的表示

    3.1.2 基本概念

    3.2 集合的运算

    3.2.1 集合的基本运算

    3.2.2 有穷计数集

    3.2.3 广义交和广义并

    3.3 有序对与笛卡儿积

    3.4 关系及其表示

    3.4.1 基本概念

    3.4.2 关系表示法

    3.5 关系的运算

    3.5.1 基本概念

    3.5.2 复合关系

    3.5.3 逆关系

    3.5.4 关系幂

    3.5.5 幂运算的性质

    3.6 关系的性质

    3.6.1 关系的5种基本性质

    3.6.2 关系性质的等价描述

    3.7 关系的闭包

    3.7.1 基本概念

    3.7.2 闭包的性质

    3.8 集合的划分与覆盖

    3.9 等价关系和等价类

    3.9.1 等价关系

    3.9.2 等价类的性质

    3.9.3 商集与划分

    3.10 相容关系和相容类

    3.11 偏序关系

    3.12 偏序集与哈斯图

    3.13 包含排斥原理

    习题

    第4章 函数

    4.1 函数的定义

    4.1.1 函数和像

    4.1.2 函数的性质

    4.1.3 常用函数

    4.2 复合函数和反函数

    4.2.1 复合函数 

    4.2.2 反函数

    4.3 特征函数与模糊子集

    4.4 基数的概念

    4.4.1 后继与归纳集

    4.4.2 自然数，有穷集，无穷集

    4.4.3 基数

    4.5 可数集与不可数集

    4.6 数学归纳法

    习题

    第5章 组合计数与离散概率

    5.1 基本原理

    5.1.1 加法原理

    5.1.2 乘法原理

    5.2 排列与组合

    5.2.1 排列

    5.2.2 组合

    5.3 排列组合生成算法

    5.3.1 排列生成算法

    5.3.2 组合生成算法

    5.4 广义的排列和组合

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

    5.5.1 二项式定理

    5.5.2 组合恒等式

    5.6 鸽笼原理

    5.6.1 鸽笼原理的简单形式

    5.6.2 鸽笼原理的一般形式

    5.7 递推关系及应用

    5.7.1 递推定义函数

    5.7.2 递推定义集合

    5.7.3 递推关系模型

    5.7.4 求解递推关系

    5.7.5 递推在算法分析中的应用

    5.7.6 生成函数

    5.8 离散概率

    5.8.1 随机事件与概率

    5.8.2 有限概率

    5.8.3 条件概率与独立性 

    5.8.4 Bayes定理

    习题

    第6章 图论

    6.1 图的基本概念

    6.1.1 图的定义和表示

    6.1.2 图的同构 

    6.1.3 完全图与正则图

    6.1.4 子图与补图

    6.1.5 通路与回路

    6.2 图的连通性

    6.2.1 无向图的连通性

    6.2.2 有向图的连通性

    6.3 图的矩阵表示

    6.3.1 关联矩阵

    6.3.2 有向图的邻接矩阵

    6.3.3 有向图的可达矩阵 

    6.4 欧拉图

    6.5 哈密顿图

    6.6 二部图

    6.6.1 二部图及判别定理

    6.6.2 完备匹配

    6.7 平面图

    6.7.1 平面图及其判定定理

    6.7.2 平面图的对偶图

    6.8 带权图

    习题

    第7章 树及其应用

    7.1 概述

    7.1.1 树的定义及相关术语

    7.1.2 树的性质

    7.2 生成树

    7.3 最小生成树

    7.4 树的遍历

    7.5 二叉树

    7.5.1 二叉树的性质

    7.5.2 二叉搜索树

    7.5.3 哈夫曼树

    7.6 决策树

    7.6.1 决策树的定义

    7.6.2 最短时间排序

    7.7 树的同构

    7.8 博弈树

    7.8.1 博弈树的概念

    7.8.2 极大极小分析法

    习题

    第8章 代数系统

    8.1 二元运算及其性质

    8.1.1 定义和表示 

    8.1.2 二元运算的性质 

    8.2 代数系统

    8.2.1 定义和实例

    8.2.2 子代数系统

    8.2.3 代数系统的同态与同构

    8.3 半群与独异点

    8.3.1 定义与性质

    8.3.2 子系统与直积

    8.4 群

    8.4.1 群的定义 

    8.4.2 群的性质 

    8.4.3 子群的定义 

    8.4.4 特殊的群

    8.4.5 陪集与拉格朗日定理

    8.4.6 正规子群与商群

    8.4.7 群的同态与同构实例

    8.5 环与域

    8.5.1 环

    8.5.2 域

    8.6 格与布尔代数

    8.6.1 格

    8.6.2 布尔代数

    8.7 组合电路

    习题

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

    9.1 串和语言

    9.2 形式文法

    9.3 有限状态机

    9.4 有限状态自动机

    9.5 不确定有限状态自动机

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

    习题

    第10章 初等数论

    10.1 素数

    10.2 最大公约数与最小公倍数

    10.3 同余

    10.4 一次同余方程和中国剩余定理

    10.4.1 一次同余方程

    10.4.2 中国剩余定理

    10.5 欧拉定理和费马小定理

    10.6 数论在密码学中的应用

    10.6.1 公钥密码学

    10.6.2 RSA密码

    习题

    附录 历史注记

    习题答案

    参考文献
  • 内容简介:
     离散数学是数学中专门用来研究离散对象及其关系的一个分支，是计算机科学与技术专业的一门重要基础课。它所研究的对象是离散的数量关系和离散的数学结构模型。《离散数学（第2版）》共10章，主要包含数理逻辑、集合与关系、函数、组合计数、图和树、代数系统、自动机和初等数论等内容。《离散数学（第2版）》中的“历史注记”可以帮助读者理解数学，洞察内在本质。

     《离散数学（第2版）》体系严谨，选材精炼，讲解翔实，例题丰富，注重理论与计算机科学技术的实际问题相结合，《离散数学（第2版）》选配了大量难度适当的习题，并给出奇数题的答案，适合教学。《离散数学（第2版）》适合作为计算机和相关专业本科生“离散数学”的教学用书，亦可作为对离散数学感兴趣的人员的参考书。
  • 目录:
    第1章 命题逻辑

    1.1 现代逻辑学的基本研究方法

    1.2 命题及其表示法

    1.2.1 命题的概念

    1.2.2 联结词

    1.3 命题公式与语句形式化

    1.3.1 命题公式的定义

    1.3.2 公式的层次

    1.3.3 语句形式化

    1.3.4 复合命题真假值

    1.3.5 真值表

    1.4 重言式

    1.4.1 重言式概述

    1.4.2 逻辑等价式

    1.4.3 等值演算

    1.5 对偶与范式

    1.5.1 对偶

    1.5.2 简单合取式和简单析取式

    1.5.3 范式

    1.5.4 范式的唯一性--主范式

    1.6 其他联结词

    1.6.1 n元真值函数

    1.6.2 真值函数与命题公式的关系

    1.6.3 联结词完备集

    1.6.4 单元素联结词构成的联结词完备集

    1.7 命题演算的推理理论

    1.7.1 有效推理

    1.7.2 有效推理的等价定理29离散数学（第2版）目录

    1.7.3 重言蕴涵式

    1.7.4 形式推理系统

    1.7.5 自然推理系统

    1.8 命题演算中的归结推理

    1.8.1 归结推理规则

    1.8.2 归结反演

    1.8.3 命题逻辑归结反演的合理性和完备性

    习题

    第2章 谓词逻辑

    2.1 谓词逻辑的基本概念

    2.1.1 个体词

    2.1.2 谓词

    2.1.3 量词

    2.2 谓词逻辑公式与翻译

    2.2.1 一阶语言

    2.2.2 自由与约束

    2.2.3 闭公式

    2.2.4 谓词逻辑公式的解释

    2.2.5 谓词逻辑命题符号化

    2.2.6 一阶公式的分类

    2.3 谓词逻辑等值演算

    2.3.1 基本等价式与置换规则

    2.3.2 谓词逻辑前束范式

    2.4 谓词演算的推理理论

    2.4.1 推理定律

    2.4.2 量词消去与引入规则

    2.4.3 一阶谓词演算公理系统F1

    2.4.4 自然推理系统F2

    2.5 谓词演算中的归结推理

    2.5.1 子句型

    2.5.2 置换和合一

    2.5.3 合一算法

    2.5.4 归结式

    2.5.5 归结反演及其完备性

    2.6 逻辑在计算机科学中的作用

    2.6.1 逻辑与计算

    2.6.2 逻辑与计算机的起源

    2.6.3 逻辑与程序设计

    习题

    第3章 集合与关系

    3.1 集合的概念和表示法

    3.1.1 集合的表示

    3.1.2 基本概念

    3.2 集合的运算

    3.2.1 集合的基本运算

    3.2.2 有穷计数集

    3.2.3 广义交和广义并

    3.3 有序对与笛卡儿积

    3.4 关系及其表示

    3.4.1 基本概念

    3.4.2 关系表示法

    3.5 关系的运算

    3.5.1 基本概念

    3.5.2 复合关系

    3.5.3 逆关系

    3.5.4 关系幂

    3.5.5 幂运算的性质

    3.6 关系的性质

    3.6.1 关系的5种基本性质

    3.6.2 关系性质的等价描述

    3.7 关系的闭包

    3.7.1 基本概念

    3.7.2 闭包的性质

    3.8 集合的划分与覆盖

    3.9 等价关系和等价类

    3.9.1 等价关系

    3.9.2 等价类的性质

    3.9.3 商集与划分

    3.10 相容关系和相容类

    3.11 偏序关系

    3.12 偏序集与哈斯图

    3.13 包含排斥原理

    习题

    第4章 函数

    4.1 函数的定义

    4.1.1 函数和像

    4.1.2 函数的性质

    4.1.3 常用函数

    4.2 复合函数和反函数

    4.2.1 复合函数 

    4.2.2 反函数

    4.3 特征函数与模糊子集

    4.4 基数的概念

    4.4.1 后继与归纳集

    4.4.2 自然数，有穷集，无穷集

    4.4.3 基数

    4.5 可数集与不可数集

    4.6 数学归纳法

    习题

    第5章 组合计数与离散概率

    5.1 基本原理

    5.1.1 加法原理

    5.1.2 乘法原理

    5.2 排列与组合

    5.2.1 排列

    5.2.2 组合

    5.3 排列组合生成算法

    5.3.1 排列生成算法

    5.3.2 组合生成算法

    5.4 广义的排列和组合

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

    5.5.1 二项式定理

    5.5.2 组合恒等式

    5.6 鸽笼原理

    5.6.1 鸽笼原理的简单形式

    5.6.2 鸽笼原理的一般形式

    5.7 递推关系及应用

    5.7.1 递推定义函数

    5.7.2 递推定义集合

    5.7.3 递推关系模型

    5.7.4 求解递推关系

    5.7.5 递推在算法分析中的应用

    5.7.6 生成函数

    5.8 离散概率

    5.8.1 随机事件与概率

    5.8.2 有限概率

    5.8.3 条件概率与独立性 

    5.8.4 Bayes定理

    习题

    第6章 图论

    6.1 图的基本概念

    6.1.1 图的定义和表示

    6.1.2 图的同构 

    6.1.3 完全图与正则图

    6.1.4 子图与补图

    6.1.5 通路与回路

    6.2 图的连通性

    6.2.1 无向图的连通性

    6.2.2 有向图的连通性

    6.3 图的矩阵表示

    6.3.1 关联矩阵

    6.3.2 有向图的邻接矩阵

    6.3.3 有向图的可达矩阵 

    6.4 欧拉图

    6.5 哈密顿图

    6.6 二部图

    6.6.1 二部图及判别定理

    6.6.2 完备匹配

    6.7 平面图

    6.7.1 平面图及其判定定理

    6.7.2 平面图的对偶图

    6.8 带权图

    习题

    第7章 树及其应用

    7.1 概述

    7.1.1 树的定义及相关术语

    7.1.2 树的性质

    7.2 生成树

    7.3 最小生成树

    7.4 树的遍历

    7.5 二叉树

    7.5.1 二叉树的性质

    7.5.2 二叉搜索树

    7.5.3 哈夫曼树

    7.6 决策树

    7.6.1 决策树的定义

    7.6.2 最短时间排序

    7.7 树的同构

    7.8 博弈树

    7.8.1 博弈树的概念

    7.8.2 极大极小分析法

    习题

    第8章 代数系统

    8.1 二元运算及其性质

    8.1.1 定义和表示 

    8.1.2 二元运算的性质 

    8.2 代数系统

    8.2.1 定义和实例

    8.2.2 子代数系统

    8.2.3 代数系统的同态与同构

    8.3 半群与独异点

    8.3.1 定义与性质

    8.3.2 子系统与直积

    8.4 群

    8.4.1 群的定义 

    8.4.2 群的性质 

    8.4.3 子群的定义 

    8.4.4 特殊的群

    8.4.5 陪集与拉格朗日定理

    8.4.6 正规子群与商群

    8.4.7 群的同态与同构实例

    8.5 环与域

    8.5.1 环

    8.5.2 域

    8.6 格与布尔代数

    8.6.1 格

    8.6.2 布尔代数

    8.7 组合电路

    习题

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

    9.1 串和语言

    9.2 形式文法

    9.3 有限状态机

    9.4 有限状态自动机

    9.5 不确定有限状态自动机

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

    习题

    第10章 初等数论

    10.1 素数

    10.2 最大公约数与最小公倍数

    10.3 同余

    10.4 一次同余方程和中国剩余定理

    10.4.1 一次同余方程

    10.4.2 中国剩余定理

    10.5 欧拉定理和费马小定理

    10.6 数论在密码学中的应用

    10.6.1 公钥密码学

    10.6.2 RSA密码

    习题

    附录 历史注记

    习题答案

    参考文献
查看详情
相关分类
一年级 二年级 三年级 四年级 五年级 六年级 小升初 小学通用 初一 初二 初三 中考
相关图书 / 更多
离散数学（第2版）
离散数学解题指导（第3版）
贲可荣；袁景凌；谢茜
￥20.70 起
离散数学（第2版）
离散数学（第二版）
古天龙；徐周波；常亮
￥18.08 起
离散数学（第2版）
离散数学（第二版）
邹丽娜；董丽薇
￥5.50 起
离散数学（第2版）
离散数学(第2版)
蔡之华
￥25.50 起
离散数学（第2版）
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
￥20.00 起
离散数学（第2版）
离散与组合数学手册：第二版（上下）英文
[美]肯尼斯·H.罗森(Kenneth；H.Rosen
￥15.00 起
离散数学（第2版）
离散数学
胡新启；季霞；杨志坚
￥17.85 起
离散数学（第2版）
离散与计算几何手册——第三版（上中下）英文
[美]雅各布·E.古德曼（Jacob E.Goodman）；[美]约瑟夫·奥罗克；[美]乔鲍·D.托特
￥15.00 起
离散数学（第2版）
离散数学及其应用
孙志海
￥13.30 起
离散数学（第2版）
离散数学/成人高等教育教材
陈启浩 陈启浩
￥3.00 起
离散数学（第2版）
离散数学
张淑丽 主编；张晓晶 马超 谢孔峰 副主编
￥16.38 起
离散数学（第2版）
离散数学习题解答与学习指导（第4版）
屈婉玲；刘田；耿素云；张立昂
￥20.79 起
您可能感兴趣 / 更多
离散数学（第2版）
离散数学解题指导（第3版）
贲可荣；袁景凌；谢茜
￥20.70 起
离散数学（第2版）
军事智能化技术及应用
贲可荣
￥35.70 起
离散数学（第2版）
离散数学（第3版）
贲可荣；袁景凌；谢茜
￥12.00 起
离散数学（第2版）
人工智能（第3版）
贲可荣；张彦铎
￥5.50 起
离散数学（第2版）
离散数学解题指导（第2版）
贲可荣；袁景凌；高志华
￥38.00 起
离散数学（第2版）
人工智能（第2版）/高等学校计算机教育规划教材·普通高等教育“十二五”国家级规划教材
贲可荣、张彦铎 著
￥0.10 起
离散数学（第2版）
离散数学(第2版)解题指导（高等学校计算机教育规划教材）
贲可荣 编；高志华；袁景凌
￥0.50 起
离散数学（第2版）
高等院校计算机教材系列·软件工程：基于项目的面相对象研究方法
贲可荣、何智勇 著
￥3.20 起
离散数学（第2版）
人工智能
贲可荣、张彦铎 著
￥0.49 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全