离散数学

本书特色

[

全书共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章 附注参考文献

封面

书名:离散数学

作者:曹迎槐

页数:334

定价:¥48.0

出版社:国防工业出版社

出版日期:2015-04-01

ISBN:9787118100280

PDF电子书大小:144MB 高清扫描完整版