扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
离散数学 版权信息
- 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章 附注
参考文献
展开全部
书友推荐
- >
二体千字文
二体千字文
¥16.0¥40.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
史学评论
史学评论
¥18.5¥42.0 - >
朝闻道
朝闻道
¥11.7¥23.8 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥21.1¥32.0 - >
中国历史的瞬间
中国历史的瞬间
¥23.5¥38.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0
本类畅销
-
时间简史-普及版
¥16.3¥38 -
严士健谈数学教育
¥8.5¥25 -
分割与积累
¥10.8¥25 -
统计学七支柱
¥27.3¥39 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
