书籍详情
离散数学
作者：乔维声编著
出版社：西安电子科技大学出版社
出版时间：1989-06-01
ISBN：9787560600666
定价：¥16.00
购买这本书可以去
内容简介
本书第一版于1989年5月作为电子类“七五”规划教材由西安电子科技大学出版社出版。最近，根据原电子工业部《1996—2000年全国电子信息类专业教材编审出版规划》，该书修订后再次出版。全书共分七章，主要内容有命题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。本次修订根据原国家教委对大专层次的理论教学以够用为度的原则，并根据近几年来大专计算机教学的需要进行。在内容的选择上，将删去原书中一些不适合大专教学的较难部分或与前后内容联系不大的概念；将原书的第6、7两章合并为现第6章，简化了对代数系统的研究；对一些难度较大的内容增补了一些例子，并提供不同学时的选择。在修订中保留原书由浅入深，由直观到抽象，通俗易读，用图解的方法来形象地描述一些概念、关系和算法等特色，进一步做到概念清晰、准确、推理严谨。本书既可作为普通专科院校、职业大学、职工大学的计算机专业教材，也可作为非计算机专业相应课程的教材或教学参考书。
作者简介
暂缺《离散数学》作者简介
目录
第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.１ 个体、 谓词与命题函数
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.１ 基本概念
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.１ 序偶与笛卡儿积
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 鸽舍原理１
*5.4.2 鸽舍原理２
习题5
第6章 代数系统的基本理论和特殊代数系统
6.１ 运算和代数系统
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 根树、 有序树、 Ｍ叉树
7.7.2 二叉树
7.7.3 二叉树在计算机中的应用
*7.8 偶图与匹配
7.8.1 偶图
7.8.2 匹配
7.9 平面图与欧拉公式
7.9.1 平面图
7.9.2 欧拉公式
习题7
参考文献
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.１ 个体、 谓词与命题函数
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.１ 基本概念
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.１ 序偶与笛卡儿积
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 鸽舍原理１
*5.4.2 鸽舍原理２
习题5
第6章 代数系统的基本理论和特殊代数系统
6.１ 运算和代数系统
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 根树、 有序树、 Ｍ叉树
7.7.2 二叉树
7.7.3 二叉树在计算机中的应用
*7.8 偶图与匹配
7.8.1 偶图
7.8.2 匹配
7.9 平面图与欧拉公式
7.9.1 平面图
7.9.2 欧拉公式
习题7
参考文献
猜您喜欢
