离散数学
全新正版 极速发货
￥ 22.44 5.8折 ￥ 39 全新
仅1件
广东广州
认证卖家担保交易快速发货售后保障
作者费文龙,彭茂,杨振启 编
出版社科学出版社
ISBN9787030477811
出版时间2016-03
装帧平装
开本16开
定价39元
货号1201340342
上书时间2024-05-28
商品详情
- 品相描述：全新
- 商品描述
-
目录
前言
第一章命题逻辑
1.1命题和联结词
1.1.1命题
1.1.2命题联结词
1.1.3命题表达式
1.1.4真值表的构造
1.1.5命题符号化
1.2重言式
1.2.1指派
1.2.2重言式
1.2.3逻辑等价
1.2.4永真蕴含
1.2.5代入规则与替换规则
1.2.6对偶原理
1.3公式中的范式
1.3.1析取范式和合取范式
1.3.2主析取范式
1.3.3主合取范式
1.4命题联结词的扩充与归约
1.4.1命题联结词的扩充
1.4.2命题联结词的规约
1.5基于命题的推理
1.5.1基于真值表的推理
1.5.2基于推理规则的推理
1.5.3应用实例
1.6习题
第二章谓词逻辑
2.1谓词公式
2.1.1个体
2.1.2谓词
2.1.3量词
2.1.4命题符号化
2.1.5谓词公式
2.2约束
2.2.1约束部分
2.2.2换名规则和代替规则
2.2.3公式的解释
2.3谓词公式中的永真式
2.3.1谓词公式的等价
2.3.2谓词公式的永真
2.3.3谓词公式的可满足
2.3.4永真公式
2.3.5代入规则、替换规则与对偶原理
2.4谓词公式中的范式
2.4.1前束范式
2.4.2斯柯林范式
2.5谓词推理
2.5.1推理规则
2.5.2举例
2.6习题
第三章集合论
3.1基本概念
3.2集合间的关系
3.3集合的运算
3.3.1集合的基本运算
3.3.2集合的运算律
3.3，3例题
3，4包含排斥原理
3.4.1两个集合的包含排斥原理
3.4.2三个集合的包含排斥原理
3.4.3多个集合的包含排斥原理
3.5幂集合与笛卡儿乘积
3.5.1幂集合
3.5.2笛卡儿乘积
3.6集合运算与基数概念的扩展
3.6.1并集、交集的扩展
3.6.2基数概念的扩展
3.7习题
第四章二元关系
4.1基本概念
4.1.1二元关系的定义
4.1.2关系的运算
4.2关系的基本性质
4.2.1自反性
4.2.2对称性
4.2.3传递性
4.2.4反自反性
4.2.5反对称性
4.3复合关系
4.4关系的表示
4.4.1用矩阵表示关系
4.4.2用图表示关系
4.4.3特定关系的矩阵及其关系图的属性
4.4.4复合关系的关系矩阵
4.5逆关系
4.5.1逆关系的定义
4.5.2逆关系的性质
4.6关系的闭包
4.6.1自反，对称和传递闭包
4.6.2闭包的性质及求法
4.7集合的划分和覆盖
4.7.1划分
4.7.2交叉划分
4.7.3加细
4.8等价关系与等价类
4.8.1等价关系
4.8.2等价类
4.8.3划分与等价关系
4.9偏序
4.9.1引言
4.9.2字典顺序
4.9.3哈塞图
4.9.4极大元素与极小元素
4.9.5格
4.10函数
4.10.1函数的定义
4.10.2函数的合成
4.10.3特殊函数类
4.11习题
第五章图论
5.1若干图论经典问题
5.1.1哥尼斯堡七桥问题
5.1.2环球旅行问题
5.1.3四色问题
5.2图与图的矩阵表示
5.3路与连通度
5.4欧拉图与哈密尔顿图
5.5二部图与匹配
5.6平面图
5.7树
5.7.1树及其性质
5.7.2最小生成树
5.7.3有向树
5.8优选流问题
5.8.1网络优选流基本概念
5.8.2优选流与最小割
5.8.3优选流算法
5.8.4优选流算法应用
5.9习题
第六章代数系统
6.1二元运算及性质
6.1.1二元运算的定义
6.1.2二元运算的性质
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.4.4变换群
6.4.5置换群
6.4.6子群
6.4.7子群的陪集
6.4.8不变子群和商群
6.5环和域简介
6.5.1环
6.5.2域
6.6习题
主要参考文献
内容摘要
本书主要包含了经典离散数学课程的基本知识，包括数理逻辑、集合论、图论和代数系统4个部分的内容。其中数理逻辑主要介绍如何用数学的符号和语言研究推理演绎的过程，包括命题逻辑和谓词逻辑两部分；集合论用抽象化的方法定义了集合之间的关系，以及集合元素之间的关系和运算，包含了集合、二元关系和函数3块内容；图论介绍了一种特殊的离散结构，以及在这种结构上的基本算法；代数系统从理论角度定义了运算，是抽象代数的基础。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价