离散数学结构：理论与应用（翻译版）

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

　　    离散数学结构是计算机学科课程体系中一门重要的课程。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》采用一种全新的方法来讲授计算机科学的数学基础，包括逻辑、布尔代数、图论基础、有限状态机、语法和算法等。这门计算机专业必修课有助于学生理解数学论题的构建和数学推理的过程。
　　    《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》特色：专为大学本科离散数学课程设计，书中各章均包含l00多道练习题，贯穿全书的习题解答为培养学生解决问题的技巧提供了示范，提供了丰富的样例集和可视图表，清晰地定义和解释了重要概念，通过教学网站提供给学生额外的练习题、资源网站链接和习题解答手册。
　　    《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》中所介绍的方法是作者多年教学经验的结晶，采用这种理论与应用相结合的方法，可以提高学生的学习兴趣，降低学习难度。在各章，作者使用现实世界中具体的事例来激发学生理解数学中抽象概念的能力。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》包含有大量的示例和补充练习，使学生在编程实践中灵活运用计算机科学知识，学习并巩固了一些重要的概念。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》不仅在讲授方法上是理论与实践相结合的范本，而且在语言叙述上与课堂授课的风格相一致。