离散数学(第3版)
①全新正版,现货速发,7天无理由退换货②天津、成都、无锡、广东等多仓就近发货,订单最迟48小时内发出③无法指定快递④可开电子发票,不清楚的请咨询客服。
¥
29.73
6.2折
¥
48
全新
库存3件
作者编者:杨圣洪//刘楚波//李肯立//唐卓//罗纲等|责编:赵丽欣
出版社科学
ISBN9787030720771
出版时间2022-04
装帧其他
开本其他
定价48元
货号31474359
上书时间2024-10-13
商品详情
- 品相描述:全新
- 商品描述
-
目录
第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 运算的定义
内容摘要
本书总结编者多年的教学经验,采用接近学生
思维习惯的平实语言,并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑,第2章为谓词逻辑,第3章为集合与关系,第4章为代数系统,第5章为图论,第6章为组合数学。各章相对独立又有机联系,证明力求平实,定理、例题、习题、实验题互相呼应,深入浅出。本书配有多媒体课件,扫描书中二维码可观看教学视频。本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材,也可供相关专业人员自学与参考。
— 没有更多了 —
以下为对购买帮助不大的评价