由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版新书]离散数学及其应用何中胜9787568509190
¥ ×1
篇 数理逻辑
章 命题逻辑
1.1 命题及其表示
1.1.1 命题的基本概念
1.1.2 命题分类
1.1.3 命题标识符
1.2 逻辑联结词
1.2.1 否定联结词
1.2.2 合取联结词
1.. 析取联结词
1.2.4 条件联结词
1.2.5 双条件联结词
1.3 命题公式与翻译
1.3.1 命题公式
1.3.2 命题的翻译
1.4 真值表与命题公式分类
1.4.1 真值表
1.4.2 命题公式分类
1.5 命题逻辑的等价式与蕴含式
1.5.1 命题逻辑的等价式
1.5.2 命题逻辑的蕴含式
1.6 逻辑联结词与联结词组
1.6.1 逻辑联结词
1.6.2 功能完备联结词组
1.7 对偶式与范式
1.7.1 对偶式与对偶原理
1.7.2 命题公式的范式
1.7.3 命题公式的主析取范式和主合取范式
1.8 命题逻辑的推理理论
1.8.1 推理规则
1.8.2 推理定律
1.8.3 推理方法
本章小结
习题
第2章 谓词逻辑
2.1 个体、谓词和量词
2.1.1 个体和谓词
2.1.2 量词
2.2 谓词公式与翻译
2.2.1 谓词公式
2.2.2 谓词的翻译
. 约束变元与自由变元
2.4 谓词公式的解释与分类
2.4.1 谓词公式的解释
2.4.2 谓词公式的分类
2.5 谓词逻辑的等价式与蕴含式
2.5.1 谓词逻辑的等价式
2.5.2 谓词逻辑的蕴含式
2.6 谓词公式范式
2.6.1 前束范式
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格