离散数学结构——理论与应用（翻译版）
点此进入淘宝搜索页搜索分類: 图书,自然科学,数学,数学理论,
作者： 〔美〕马力克著，邱仲潘译
出 版 社： 高等教育出版社
出版时间： 2007-8-1字数： 1340000版次： 1页数： 919印刷时间： 2005/11/01开本：印次：纸张： 胶版纸I S B N ： 9787040173901包装： 平装内容简介
离散数学结构是计算机学科课程体系中一门重要的课程。本书采用一种全新的方法来讲授计算机科学的数学基础，包括逻辑、布尔代数、图论基础、有限状态机、语法和算法等。这门计算机专业必修课有助于学生理解数学论题的构建和数学推理的过程。
本书特色：专为大学本科离散数学课程设计，书中各章均包含l00多道练习题，贯穿全书的习题解答为培养学生解决问题的技巧提供了示范，提供了丰富的样例集和可视图表，清晰地定义和解释了重要概念，通过教学网站提供给学生额外的练习题、资源网站链接和习题解答手册。
本书中所介绍的方法是作者多年教学经验的结晶，采用这种理论与应用相结合的方法，可以提高学生的学习兴趣，降低学习难度。在各章，作者使用现实世界中具体的事例来激发学生理解数学中抽象概念的能力。本书包含有大量的示例和补充练习，使学生在编程实践中灵活运用计算机科学知识，学习并巩固了一些重要的概念。本书不仅在讲授方法上是理论与实践相结合的范本，而且在语言叙述上与课堂授课的风格相一致。
目录
第一章集合论、逻辑与算法基础
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计算机中的整数表示
……
第三章关系与偏序集
第四章矩阵与关系闭包
第五章函数
第六章同余
第七章计数原理
第八章递归关系
第九章算法与时间复杂度
第十章图论
第十一章树与网络
第十二章布尔代数与组合电路
第十三章有限自动机与语言
附录
部分习题答案与提示
符号表
参考文献
