离散数学9787030720771
正版图书，可开发票，请放心购买。
￥ 36 7.5折 ￥ 48 全新
库存53件
作者杨圣洪
出版社中国科技出版传媒股份有限公司
ISBN9787030720771
出版时间2021-08
装帧平装
开本其他
定价48元
货号11612524
上书时间2024-12-24
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
目录
第1章命题逻辑
1.1命题及联结词
1.1.1命题
1.1.2联结词
1.2命题公式及其赋值
习题
1.3等值式
1.4析取范式与合取范式
1.5实验一
习颗
1.6推理理论
习题
1.7消解法
1.8实验二
习题
综合练习
第2章谓词逻辑
2.1基本概念
2.2谓词公式及其解释
2.2.1合法的谓词公式
2.2.2个体变元的身份
2.2.3解释谓词公式
2.2.4谓词公式的类型
习题
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实验
习题
综合练习
第6章组合数学
6.1加法法则与乘法法则
6.2一 一对应法则
6.3排列
6.4圆排列
6.5组合
6.6允许重复的组合
6.7不相邻的组合
6.8组合等式
6.9鸽巢原理
习题
6.10母函数
6.11指数型母函数
6.12利用特征根法求递推关系
习题
参考文献
内容摘要
本书总结编者多年的教学经验，采用接近学生思维习惯的平实语言，并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑，第2章为谓词逻辑，第3章为集合与关系，第4章为代数系统，第5章为图论，第6章为组合数学。各章相对独立又有机联系，证明力求平实，定理、例题、习题、实验题互相呼应，深人浅出。本书配有多媒体课件，扫描书中二维码可观看教学视频。
本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材也可供相关专业人员自学与参考。
精彩内容
本书总结编者多年的教学经验，采用接近学生思维习惯的平实语言，并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑，第2章为谓词逻辑，第3章为集合与关系，第4章为代数系统，第5章为图论，第6章为组合数学。各章相对独立又有机联系，证明力求平实，定理、例题、习题、实验题互相呼应，深人浅出。本书配有多媒体课件，扫描书中二维码可观看教学视频。
本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材也可供相关专业人员自学与参考。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价