离散数学及其应用(原书第6版)是款非常优秀的离散数学教材；是由非常知名的罗森(Rosen,K.H)著的，这经过了许多优秀的工作者进行翻译，经过机械工业出版社进行印刷发行；这本书完美的介绍了离散数学的知识，不管是理论还是方法，都涉及到了方方面面，内容包括了离散结构、数学推理、算法思维等等，并且取材也是相当的广泛，进行了大量的实例、图表的说明等情况！
软件功能
1、易入门：实践证明本书对初学者来说易读易懂。
2、灵活：本教材为灵活使用做了精心设计，各章对其前面内容的依赖降到最小。
3、写作风格：直接和实用。
4、数学严密性和准确性：书中所有定义和定理的陈述都十分详细，以确保语言的准确性和数学所需的严密性。
5、应用：书中叙述的应用展示了离散数学在解决现实问题中的使用价值，涉及的应用领域包括计算机科学、数据网络、心理学、化学、工程、语言学、生物学、商业和互联网等。
6、算法：离散数学的结论常常要用算法来表示，因此本书每一章都介绍了一些关键算法，这些算法即可以用文字叙述，也可以用更易于理解的结构化伪码来叙述。
7、历史资料：本书对许多主题的背景作了简要介绍，并以脚注的形式给出了65位对离散数学做出过重要贡献的数学家和计算机科学家的简短传记。
软件特色
为全球多所大学广为采用
本书全面而系统地介绍了离散数学的理论和方法
内容涉及数学推理、组合分析、离散结构、算法思维以及应用与建模
全书取材广泛，除包括定义、定理的严密陈述外
还配备大量的实例和图表的说明、各种练习和题目以及丰富的历史资料和网站资源
第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具
目录
译者序
前言
第1章基础:逻辑和证明
1.1命题逻辑
1.2命题等价
1.3谓词和量词
1.4嵌套量词
1.5推理规则
1.6证明导论
1.7证明的方法和策略
∨ 展开