中图网

>

数学

>

数学理论

离散数学

作者：曹迎槐,尹健,韩加坤主编

出版社：国防工业出版社出版时间：2015-04-01

开本： 16开 页数： 334

本类榜单：自然科学销量榜

预估到手价¥14.4(3.0折)?

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。

距结束还有

00:00:00

中图价:¥28.8(6.0折)定价 ~~¥48.0~~ 登录后可看到会员价

促销活动:

11.11钜惠|每满100减50，满送2025台历

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口
有划线标记、光盘等附件不全详细品相说明>>

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥41.6¥58
>
考研数学专题练1200题

考研数学专题练1200题

¥30.6¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥17.4¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
声音简史

声音简史

¥20.8¥52
>
浪漫地理学:追寻崇高景观

浪漫地理学:追寻崇高景观

¥39.3¥59

商品详情
商品评论(0条)

中图价:¥28.8 加入购物车

版权信息
本书特色
内容简介
目录

离散数学版权信息

ISBN：9787118100280
条形码：9787118100280 ; 978-7-118-10028-0
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
自然科学
>
数学
>
数学理论

离散数学本书特色

全书共12章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。

离散数学内容简介

全书共12章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。

离散数学目录

第1章离散数学基础
1.1 算法
1.1.1 算法的定义
1.1.2 算法的基本特征
1.1.3 算法设计方法
1.1.4 算法表示
1.1.5 算法的复杂度分析
1.2 可计算性问题
1.3 模和同余
1.4 递归
1.5 密码学初步
1.6 计数
小结
习题

第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.3.4 主合取范式
2.4 基于命题的推理
2.4.1 推理理论
2.4.2 cp规则
2.4.3 归谬法
小结
习题

第3章谓词逻辑
3.1 谓词
3.2 量词
3.2.1 全称量词
3.2.2 存在量词
3.2.3 量词分析
3.3 谓词公式
3.4 谓词演算
3.5 谓词演算中的推理规则
3.5.1 推理规则
3.5.2 含有量词的永真式
3.6 三元谓词向二元谓词的转换
3.7 基于谓词的知识表示
3.8 基于谓词演算的程序正确性证明
小结
习题

第4章集合论
4.1 集合的基本概念
4.1.1 集合及其表示
4.1.2 子集
4.1.3 基数
4.1.4 幂集
4.1.5 悖论
4.2 集合的运算
4.2.1 集合的并与交
4.2.2 集合的差与补
4.2.3 环和与环积
4.2.4 集合的笛卡儿积
4.3 集合运算定律
4.4 集合计数
……

第5章关系
第6章函数
第7章图论
第8章树
第9章代数结构
第10章群与环
第11章格与布尔代数
第12章附注
参考文献

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐