离散数学杨圣洪张英杰科学出版社

9787030304001

23.8 九品

仅1件

江西吉安

认证卖家担保交易快速发货售后保障

作者杨圣洪

出版社科学出版社

ISBN9787030304001

出版时间2014-02

装帧平装

上书时间2019-12-17

已实名已认证进店收藏店铺

商品描述: 基本信息书名：离散数学定价：21元作者：杨圣洪张英杰出版社：科学出版社出版日期：2014-02ISBN：9787030304001前言
第1章命题逻辑
1.1 命题及联结词
1.2 命题公式及其赋值
1.3 等值式
1.4 析取范式与合取范式
1.5 实验
1.6 推理理论
1.7 消解法
第2章谓词逻辑
2.1 基本概念
2.2 谓词公式及其解释
2.3 谓词公式等值演算
2.4 谓词公式的范式
2.5 谓词推理
第3章集合与关系
3.1 基本概念
3.2 集合运算与性质
3.3 有穷集的计数
3.4 序偶
3.5 直积或笛卡儿积
3.6 关系
3.7 关系的复合
3.8 关系分类
3.9 关系的闭包
3.10 等价关系与集合的划分
3.11 偏序关系
3.12 实验
第4章代数系统
4.1 什么是代数运算
4.2 运算的定义
4.3 运算的性质
4.4 代数系统
4.5 实验
4.6 半群
4.7 群
4.8 子群
4.9 群的陪集分解
4.10 循环群
4.11 置换群
4.12 环、域
第5章图论
5.1 图的概念与描述
5.2 图的连通性
5.3 欧拉图
5.4 哈密尔顿图
5.5 平面图与四色猜想
5.6 树与生成树
5.7 路径
5.8 网络流图
5.9 实验
参考文献

— 没有更多了 —

离散数学 杨圣洪 张英杰 科学出版社