离散数学(第2版第二版) 尤枫 颜可庆 机械工业出版社 9787111249290 正版旧书
正版旧书 里面部分笔记 内容完好 可正常使用 旧书不附带光盘
¥
2.9
八五品
仅1件
作者尤枫 颜可庆
出版社机械工业出版社
ISBN9787111249290
出版时间2008-01
装帧线装
页数270页
货号108478
上书时间2024-04-18
商品详情
- 品相描述:八五品
- 商品描述
-
温馨提示:亲!旧书库存变动比较快,有时难免会有断货的情况,为保证您的利益,拍前请务必联系卖家咨询库存情况!谢谢!
书名:离散数学(第2版)
编号:108478
ISBN:9787111249290[十位:]
作者:尤枫 颜可庆
出版社:机械工业出版社
出版日期:2008年01月
页数:270
定价:30.00 元
参考重量:0.430Kg
-------------------------
新旧程度:6-9成新左右,不影响阅读,详细情况请咨询店主
如图书附带、磁带、学习卡等请咨询店主是否齐全
* 图书目录 *
出版说明
前言
第1篇数理逻辑
第1章命题逻辑
1.1命题和联结词
1.1.1命题及其表示
1.1.2联结词
1.2命题公式和真值表
1.2.1命题公式
1.2.2命题的符号化
1.2.3真值表
1.2.4永真式与永假式
1.3等价式
1.4蕴涵式
1.5联结词的完备集
1.5.1扩充的联结词
1.5.2联结词完备集
1.6对偶式
1.7范式
1.7.1析取范式与合取范式
1.7.2主析取范式与主合取范式
1.8命题演算的推理理论
1.8.1推理的形式结构
1.8.2推理的方法
1.9习题
第2章谓词逻辑
2.1谓词逻辑的基本概念
2.1.1个体和谓词
2.1.2个体域和量词
2.2谓词公式与命题的符号化
2.2.1谓词公式
2.2.2谓词逻辑中命题的符号化
2.2.3变元的约束
2.2.4谓词公式的真值
2.3谓词演算的等价式和蕴涵式
2.4谓词演算的置换规则
2.5前束范式
2.6谓词演算的推理理论
2.6.1推理规则
2.6.2推理应用举例
2.7习题
第2篇集合论
第3章集合
3.1集合的基本概念
3.1.1集合及其元素
3.1.2集合的表示法
3.1.3集合间的关系
3.2文氏图与集合的运算
3.2.1文氏图
3.2.2集合的运算
3.3集合恒等式
3.4集合成员表
3.5包含排斥原理
3.6习题
第4章关系
4.1序偶与笛卡儿积
4.2关系及其表示
4.2.1关系的基本概念
4.2.2关系矩阵与关系图
4.3关系的运算
4.3.1关系的逆运算
4.3.2关系的复合运算
4.3_3关系的幂运算
4.4关系的性质
4.5关系的闭包
4.6集合的覆盖与划分
4.7等价关系与等价类
4.8相容关系与相容类
4.9次序关系
4.10习题
第5章函数
5.1基本概念
5.2复合函数和逆函数
5.3置换与轮换
5.4集合的特征函数
5.5递归函数
5.6集合的基数
5.7习题
第3篇代数结构
第6章代数系统
6.1运算及其性质
6.2代数系统
6.3同态与同构
6.4同余关系
6.5商代数与积代数
6.5.1商代数
6.5.2积代数
6.6习题
第7章半群与群
7.1半群与独异点
7.2群与子群
7.3交换群与循环群
7.4变换群与置换群
7.5陪集、正规子群和商群
7.6群的同态与同构
7.7习题
第8章环和域
8.1环和子环
8.2子环与理想
8.3域
8.4习题
第9章格与布尔代数
9.1格
9.1.1偏序集定义的格
9.1.2代数系统定义的格
9.1.3子格与格的同态
9.2分配格和有补格
9.2.1分配格
9.2.2有补格
9.3布尔代数与布尔表达式
9.3.1布尔代数
9.3.2布尔表达式及其范式定理
9.4习题
第4篇图论
第10章图
10.1图的基本概念
10.1.1图的定义
10.1.2图的相关术语
10.1.3伪图、多重图和简单图
10.1.4完全图
10.1.5子图
10.1.6图的同构
10.2图的连通性
10.2.1通路和回路
10.2.2图的连通性
10.2_3连通度
10.3图的矩阵表示
10.3.1关联矩阵
10.3.2邻接矩阵
10.3.3可达矩阵
10.4习题
第11章欧拉图与哈密尔顿图
11.1欧拉图
11.2哈密尔顿图
11.3*短通路问题
11.3.1赋权图与*短通路的算法
11.3.2旅行推销员问题
11.4习题
第12章特殊图
12.1二分图
12.2平面图
12.2.1平面图的基本概念
12.2.2欧拉公式
12.2.3平面图的判定
12.2.4对偶图与甲面图的着色
12.3树
12.3.1无向树及其性质
12.3.2生成树
12.3.3根树及其应用
12.4习题
参考文献
……
— 没有更多了 —
以下为对购买帮助不大的评价