由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书离散数学及其应用(原书第8版·教学版)9787111642176
¥ ×1
出版者的话
改编者序
译者序
前言
在线资源
致学生
作者简介
符号表
章 基础:逻辑和明
1.1 命题逻辑
1.1.1 引言
1.1.2 命题
1.1.3 条件语句
1.1.4 复合命题的真值表
1.1.5 逻辑运算符的优先级
1.1.6 逻辑运算和比特运算
奇数编号练习
1.2 命题逻辑的应用
1.2.1 引言
1.2.2 语句翻译
1.. 系统规范说明
1.2.4 布尔搜索
1.2.5 逻辑谜题
1.2.6 逻辑电路
奇数编号练习
1.3 命题等价式
1.3.1 引言
1.3.2 逻辑等价式
1.3.3 德·摩根律的运用
1.3.4 构造新的逻辑等价式
1.3.5 可满足
1.3.6 可满足的应
1.3.7 可满足问题求解
奇数编号练习
1.4 谓词和量词
1.4.1 引言
1.4.2 谓词
1.4.3 量词
1.4.4 有限域上的量词
1.4.5 受域的词
1.4.6 量词的优先级
1.4.7 变量绑定
1.4.8 涉及量词的逻辑等价式
1.4.9 量化表达式的否定
1.4.10 语句到逻辑表达式的翻译
1.4.11 系统规范说明中量词的使用
1.4.12 选自路易斯·卡罗尔的例子
1.4.13 逻辑程序设计
奇数编号练习
1.5 嵌套量词
1.5.1 引言
1.5.2 理解涉及嵌套量词的语句
1.5.3 量词的顺序
1.5.4 数学语句到嵌套量词语句的翻译
1.5.5 嵌套量词到自然语言的翻译
1.5.6 汉语语句到逻辑表达式的翻译
1.5.7 嵌套量词的否定
奇数编号练习
1.6 推理规则
1.6.1 引言
1.6.2 命题逻辑的有效论
1.6.3 命题逻辑的推理规则
1.6.4 使用推理规则建立论
1.6.5 消解律
1.6.6 谬误
1.6.7 量化命题的推理规则
1.6.8 命题和量化命题推理规则的组合使用
奇数编号练习
1.7 明导论
1.7.1 引言
1.7.2 一些专用术语
1.7.3 理解定理是如何陈述的
1.7.4 明定理的方法
1.7.5 直接明法
1.7.6 反法
1.7.7 归谬明法
1.7.8 明中的错误
1.7.9 良好的开端
奇数编号练习
1.8 明的方法和策略
1.8.1 引言
1.8.2 穷举明法和分情形明法
1.8.3 存在明
1.8.4 专享明
1.8.5 明策略
1.8.6 寻找反例
1.8.7 明策略实践
1.8.8 拼接
1.8.9 开放问题的作用
1.8.10 明方法
奇数编号练习
章末资料(在线)
……
第2章 基本结构:集合、函数、序列、求和与矩阵
第3章
第4章 高级技术
第5章 关系
第6章 图
第7章 树
第8章 布尔代数
读物(在线)
参考文献(在线)
奇数编号练习(在线)
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格