离散数学(第三版)乔
出版时间:
1989-06
版次:
1
ISBN:
9787560600666
定价:
16.00
装帧:
平装
开本:
其他
纸张:
胶版纸
页数:
221页
字数:
336千字
6人买过
-
本书第二版于1998年9月根据原电子工业部《1996-2000年全国电子信息类专业教材编审出版规划》修订。本次再版对每章专门增加了例题一节,并对第二版中的内容作了进一步的修正。
全书共分7章,主要内容有例题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。
本书既可作为普通专科院校、高等职业技术院校的计算机专业教材,也可作为非计算机专业相应课程的教材或教学参考书。 第1章 命题逻辑
1.1 命题与命题公式
1.1.1 命题
1.1.2 命题联结词
1.1.3 命题公式
1.1.4 命题公式的真值表
1.2 重言式
1.2.1 重言式和矛盾式
1.2.2 等价重言式
1.2.3 蕴含重言式
1.2.4 对偶与对偶原理
1.3 命题演算的推理规则和证明方法
1.3.1 真值表的证明方法
1.3.2 形式推理的证明方法——直接证法
1.3.3 间接证法
1.4 命题公式的标准形式
1.4.1 范式
1.4.2 主范式
习题1
第2章 谓词逻辑
2.1 个体、 谓词与命题函数
2.1.1 个体与谓词
2.1.2 命题函数
2.2 量词
2.2.1 全称量词
2.2.2 存在量词
2.3 谓词公式与翻译
2.3.1 谓词公式
2.3.2 命题的符号化
2.3.3 自由变元和约束变元
2.4 谓词演算的推理理论
2.4.1 谓词演算的等价式和蕴含式
2.4.2 谓词演算的推理规则
习题2
第3章 集合
3.1 基本概念
3.1.1 集合及其表示方法
3.1.2 集合的包含和相等
3.1.3 空集和全集
3.1.4 幂集
3.2 集合的运算与运算定律
3.2.1 集合的运算与文氏图
3.2.2 集合运算的定律
3.2.3 集合的对称差
3.3 集合的划分与覆盖
3.4 容斥原理
习题3
第4章 关系
4.1 序偶与笛卡儿积
4.1.1 序偶与有序n元组
4.1.2 笛卡儿积
4.2 关系、关系矩阵和关系图
4.2.1 关系的概念
4.2.2 关系矩阵
4.2.3 关系图
4.3 关系的运算
4.3.1 关系的并、交、补、差运算
4.3.2 关系的复合运算
4.3.3 关系的逆运算
4.4 关系的性质
4.4.1 定义
4.4.2 举例
4.4.3 关系性质的判定定理
4.5 关系的闭包运算
4.5.1 定义
4.5.2 闭包运算的性质
4.5.3 有限集合上关系的传递闭包
4.5.4 ρ+的关系图的画法
4.6 等价关系与等价类
4.6.1 定义
4.6.2 等价关系与划分
4.7 偏序
4.7.1 定义
4.7.2 哈斯图
*4.7.3 偏序集中的特殊元素
习题4
第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.4.1 鸽舍原理1
*5.4.2 鸽舍原理2
习题5
第6章 代数系统的基本理论和特殊代数系统
6.1 运算和代数系统
6.1.1 运算
6.1.2 运算的运算表
6.1.3 代数系统
6.2 二元运算的性质与特殊元素
6.2.1 二元运算的性质
6.2.2 二元运算的特殊元素
6.3 同态和同构
6.3.1 同构
6.3.2 同态
6.4 半群和独异点
6.4.1 半群
6.4.2 独异点
6.4.3 子半群和子独异点
6.5 群
6.5.1 定义
6.5.2 群的基本性质
6.6 群中元素的周期与循环群
6.6.1 群中元素的周期
6.6.2 元素周期的性质
6.6.3 循环群
6.7 子群
6.7.1 两个等价的定义
6.7.2 子群的判定定理
*6.8 格
6.8.1 格的定义和性质
6.8.2 几种特殊的格
习题6
第7章 图论
7.1 图的基本概念
7.1.1 图
7.1.2 结点的度
7.1.3 几种常见的图
7.1.4 子图
7.1.5 图的同构
7.2 路与圈
7.2.1 路、 圈和连通性
*7.2.2 有权图的最短路径问题
7.3 图的矩阵表示
7.4 有向图和可达性矩阵
7.4.1 有向图
*7.4.2 有向图的可达性
7.5 欧拉图与哈密尔顿图
7.5.1 欧拉图
7.5.2 哈密尔顿图
7.6 树
7.6.1 树
7.6.2 生成树与最小生成树
7.7 根树及其应用
7.7.1 根树、 有序树、 M叉树
7.7.2 二叉树
7.7.3 二叉树在计算机中的应用
*7.8 偶图与匹配
7.8.1 偶图
7.8.2 匹配
7.9 平面图与欧拉公式
7.9.1 平面图
7.9.2 欧拉公式
习题7
参考文献
-
内容简介:
本书第二版于1998年9月根据原电子工业部《1996-2000年全国电子信息类专业教材编审出版规划》修订。本次再版对每章专门增加了例题一节,并对第二版中的内容作了进一步的修正。
全书共分7章,主要内容有例题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。
本书既可作为普通专科院校、高等职业技术院校的计算机专业教材,也可作为非计算机专业相应课程的教材或教学参考书。
-
目录:
第1章 命题逻辑
1.1 命题与命题公式
1.1.1 命题
1.1.2 命题联结词
1.1.3 命题公式
1.1.4 命题公式的真值表
1.2 重言式
1.2.1 重言式和矛盾式
1.2.2 等价重言式
1.2.3 蕴含重言式
1.2.4 对偶与对偶原理
1.3 命题演算的推理规则和证明方法
1.3.1 真值表的证明方法
1.3.2 形式推理的证明方法——直接证法
1.3.3 间接证法
1.4 命题公式的标准形式
1.4.1 范式
1.4.2 主范式
习题1
第2章 谓词逻辑
2.1 个体、 谓词与命题函数
2.1.1 个体与谓词
2.1.2 命题函数
2.2 量词
2.2.1 全称量词
2.2.2 存在量词
2.3 谓词公式与翻译
2.3.1 谓词公式
2.3.2 命题的符号化
2.3.3 自由变元和约束变元
2.4 谓词演算的推理理论
2.4.1 谓词演算的等价式和蕴含式
2.4.2 谓词演算的推理规则
习题2
第3章 集合
3.1 基本概念
3.1.1 集合及其表示方法
3.1.2 集合的包含和相等
3.1.3 空集和全集
3.1.4 幂集
3.2 集合的运算与运算定律
3.2.1 集合的运算与文氏图
3.2.2 集合运算的定律
3.2.3 集合的对称差
3.3 集合的划分与覆盖
3.4 容斥原理
习题3
第4章 关系
4.1 序偶与笛卡儿积
4.1.1 序偶与有序n元组
4.1.2 笛卡儿积
4.2 关系、关系矩阵和关系图
4.2.1 关系的概念
4.2.2 关系矩阵
4.2.3 关系图
4.3 关系的运算
4.3.1 关系的并、交、补、差运算
4.3.2 关系的复合运算
4.3.3 关系的逆运算
4.4 关系的性质
4.4.1 定义
4.4.2 举例
4.4.3 关系性质的判定定理
4.5 关系的闭包运算
4.5.1 定义
4.5.2 闭包运算的性质
4.5.3 有限集合上关系的传递闭包
4.5.4 ρ+的关系图的画法
4.6 等价关系与等价类
4.6.1 定义
4.6.2 等价关系与划分
4.7 偏序
4.7.1 定义
4.7.2 哈斯图
*4.7.3 偏序集中的特殊元素
习题4
第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.4.1 鸽舍原理1
*5.4.2 鸽舍原理2
习题5
第6章 代数系统的基本理论和特殊代数系统
6.1 运算和代数系统
6.1.1 运算
6.1.2 运算的运算表
6.1.3 代数系统
6.2 二元运算的性质与特殊元素
6.2.1 二元运算的性质
6.2.2 二元运算的特殊元素
6.3 同态和同构
6.3.1 同构
6.3.2 同态
6.4 半群和独异点
6.4.1 半群
6.4.2 独异点
6.4.3 子半群和子独异点
6.5 群
6.5.1 定义
6.5.2 群的基本性质
6.6 群中元素的周期与循环群
6.6.1 群中元素的周期
6.6.2 元素周期的性质
6.6.3 循环群
6.7 子群
6.7.1 两个等价的定义
6.7.2 子群的判定定理
*6.8 格
6.8.1 格的定义和性质
6.8.2 几种特殊的格
习题6
第7章 图论
7.1 图的基本概念
7.1.1 图
7.1.2 结点的度
7.1.3 几种常见的图
7.1.4 子图
7.1.5 图的同构
7.2 路与圈
7.2.1 路、 圈和连通性
*7.2.2 有权图的最短路径问题
7.3 图的矩阵表示
7.4 有向图和可达性矩阵
7.4.1 有向图
*7.4.2 有向图的可达性
7.5 欧拉图与哈密尔顿图
7.5.1 欧拉图
7.5.2 哈密尔顿图
7.6 树
7.6.1 树
7.6.2 生成树与最小生成树
7.7 根树及其应用
7.7.1 根树、 有序树、 M叉树
7.7.2 二叉树
7.7.3 二叉树在计算机中的应用
*7.8 偶图与匹配
7.8.1 偶图
7.8.2 匹配
7.9 平面图与欧拉公式
7.9.1 平面图
7.9.2 欧拉公式
习题7
参考文献
查看详情
-
2
八五品
重庆市沙坪坝区
平均发货8小时
成功完成率89.7%
-
八五品
重庆市沙坪坝区
平均发货8小时
成功完成率88.4%
-
九品
北京市通州区
平均发货9小时
成功完成率90.29%
-
八五品
山东省滨州市
平均发货10小时
成功完成率91.97%
-
八五品
山东省枣庄市
平均发货9小时
成功完成率93.27%
-
八五品
广东省广州市
平均发货5小时
成功完成率92.52%
-
八五品
湖北省武汉市
平均发货8小时
成功完成率94.81%
-
离散数学 第三版
本店经营图书主为8-95品二手书,本着认真负责的态度上传图书,尽可能详细的反应书本的真实情况
九五品
北京市通州区
平均发货19小时
成功完成率92.35%
-
八五品
湖北省孝感市
平均发货9小时
成功完成率84.49%
-
八五品
湖北省孝感市
平均发货7小时
成功完成率90.58%
-
八五品
湖北省武汉市
平均发货8小时
成功完成率91.18%
-
9
九品
山东省泰安市
平均发货10小时
成功完成率81.5%
-
八五品
湖北省天门市
平均发货9小时
成功完成率92.59%
-
八五品
湖北省孝感市
平均发货8小时
成功完成率95.23%
-
3
八五品
河北省衡水市
平均发货8小时
成功完成率96.86%
-
2
八五品
云南省昆明市
平均发货8小时
成功完成率82.41%
-
八五品
湖北省孝感市
平均发货9小时
成功完成率84.49%