圣智学习

离散数学结构是计算机学科课程体系中一门重要的课程。本书采用一种全新的方法来讲授计算机科学的数学基础，包括逻辑、布尔代数、图论基础、有限状态机、语法和算法等。这门计算机专业必修课有助于学生理解数学论题的构建和数学推理的过程。
 

第一章　集合论、逻辑与算法基础
　1.1　集合
1.1.1　文氏图
1.1.2　集合运算
1.1.3　有序对与笛卡儿叉积
1.1.4　集合的计算机表示
课堂练习
本节小结
习题l.1
　1.2　数理逻辑
1.2.1 非
1.2.2　合取
1.2.3　析取
1.2.4　蕴涵
1.2.5　双向蕴涵
1.2.6　命题公式（公式）
课堂练习
本节小结
习题l.2
　1.3　论证有效性
1.3.1　一些有效论证形式
课堂练习
本节小结
习题l.3
　1.4　量词与一阶逻辑
1.4.1 渭词求非
1.4.2其他推理规则
　　课堂练习
本节小结
习题l.4
1.5　证明方法
1.5.1直接证明
1.5.2间接证明
1.5.3反证法
1.5.4证明双向蕴涵
1.5.5证明等价命题
1.5.6证明中的错误
课堂练习
本节小结
习题l.5
1.6　算法
1.6.1伪码约定
1.6.2多项式运算
课堂练习
本节小结
习题l.6
编程练习
第二章　整数与数学归纳法
2.1 整数
2.1.1 除法算法
2.1.2　最大公约数
2.1.3　最小公倍数
课堂练习
本节小结
习题2.1
2.2　计算机中的整数表示
　……
第三章　关系与偏序集
第四章　矩阵与关系闭包
第五章　函数
第六章　同余
第七章　计数原理
第八章　递归关系
第九章　算法与时间复杂度
第十章　图论
第十一章　树与网络
第十二章　布尔代数与组合电路
第十三章　有限自动机与语言
附录
部分习题答案与提示
符号表
参考文献