离散数学及其应用第六版中文版

　　离散数学及其应用(原书第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证明的方法和策略