离散数学

内容简介

[

　　《离散数学/高等院校信息技术规划教材》系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识。全书共8章。第1章介绍命题及命题逻辑，第2章介绍谓词逻辑及其推理理论，第3章介绍集合与关系的基本概念和性质，第4章介绍函数，第5章介绍代数系统，第6章介绍格与布尔代数，第7章介绍图论的基本概念及其性质，第8章介绍离散数学在计算机科学中的一些具体应用。　　《离散数学/高等院校信息技术规划教材》适合作为高等学校计算机专业及相关专业的本科生教材，也可以供对离散数学有兴趣的读者自学。

]

目录

第1章 命题逻辑1.1 命题及联结词1.1.1 命题的概念1.1.2 原子命题和复合命题1.1.3 联结词1.2 命题的合式公式和翻译1.2.1 命题公式1.2.2 命题公式的翻译1.2.3 真值表1.3 公式的等价和蕴含1.3.1 永真式、永假式和可满足式1.3.2 等价式和常用的等价式1.4 全功能联结词集合1.5 对偶与范式1.5.1 对偶定义1.5.2 对偶定理1.5.3 析取范式和合取范式1.5.4 主析取范式和主合取范式1.6 推理理论1.6.1 蕴含式1.6.2 有效结论1.6.3 证明方法本章小结习题第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.4 前束范式2.5 谓词演算的推理理论本章小结习题第3章 集合与关系3.1 集合的概念和表示3.1.1 集合与元素3.1.2 集合的表示3.1.3 集合与集合的关系3.2 集合的运算3.2.1 交运算3.2.2 并运算3.2.3 相对补与绝对补3.2.4 对称差3.2.5 集合运算中的恒等式3.2.6 包含排斥原理3.3 序偶与笛卡儿积3.3.1 序偶3.3.2 笛卡儿积3.4 关系及其表示3.4.1 关系的引入3.4.2 关系的定义3.4.3 二元关系3.4.4 关系的表示法3.5 关系的性质3.5.1 自反性与反自反性3.5.2 对称性与反对称性3.5.3 传递性3.6 关系的运算3.6.1 关系的交、并、补、差运算3.6.2 关系的复合运算……第4章 函数第5章 代数系统第6章 格与布尔代数第7章 图论第8章 离散数学在计算机科学中的应用

封面

书名:离散数学

作者:王卫红

页数:211

定价:¥29.0

出版社:清华大学出版社

出版日期:2013-09-01

ISBN:9787302335238

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