离散数学结构(理论与应用翻译版)

本书较为全面地介绍了集合论、逻辑与算法基础、整数与数学归纳法、矩阵与关系闭包、函数、计数原理等内容。...

第一章　集合论、逻辑与算法基础
　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　计算机中的整数表示
　……
第三章　关系与偏序集
第四章　矩阵与关系闭包
第五章　函数
第六章　同余
第七章　计数原理
第八章　递归关系
第九章　算法与时间复杂度
第十章　图论
第十一章　树与网络
第十二章　布尔代数与组合电路
第十三章　有限自动机与语言
附录
部分习题答案与提示
符号表
参考文献