由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版 离散数学 贾振华 主编 水利水电出版社 9787517045748 书籍
¥ ×1
第二版前言
第一版前言
第一部分 数理逻辑
第1章 命题逻辑
本章学习目标
1.1 命题和命题联结词
1.1.1 命题
1.1.2 命题联结词
1.2 命题公式与解释
1.2.1 命题公式
1.2.2 命题公式的解释
1.3 真值表与等价公式
1.3.1 真值表
1.3.2 命题公式的分类
1.3.3 等价公式
1.3.4 代入规则和替换规则
1.4 对偶定理
1.5 范式
1.5.1 合取范式和析取范式
1.5.2 主析取范式和主合取范式
1.6 公式的蕴涵
1.6.1 蕴涵的概念
1.6.2 蕴涵式的证明方法
1.6.3 基本蕴涵式
1.7 其他联结词与联结词组
1.7.1 其他联结词
1.7.2 联结词组
l.8 命题逻辑推理理论
1.8.1 命题逻辑推理理论
1.8.2 推理规则
1.8.3 判断有效结论的常用方法
本章小结
习题1
第2章 谓词逻辑
本章学习目标
2.1 谓词逻辑命题的符号化
2.1.1 个体词与谓词
2.1.2 量词
2.1.3 谓词逻辑中命题的符号化
2.2 谓词逻辑公式与解释
2.2.1 谓词逻辑的合式公式
2.2.2 谓词的约束和替换
2.2.3 谓词逻辑公式的解释
2.3 谓词逻辑公式的等价与蕴涵
2.3.1 谓词逻辑的等价公式
2.3.2 谓词逻辑的蕴涵公式
2.3.3 多个量词的使用
2.4 前束范式
2.5 谓词逻辑的推理理论
本章小结
习题2
第二部分 集合论
第3章 集合
本章学习目标
3.1 集合的概念与表示
3.1.1 集合的基本概念
3.1.2 集合的表示
3.1.3 集合之间的关系
3.2 集合的运算
……
第三部分 图论
第四部分 代数系统
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
