《离散数学》上海交大[RMVB]

 
离散数学是随着计算机科学的发展和计算机应用的日趋广泛而逐渐形成的一门学科， 是 20 世纪 70 年代初期形成的新兴学科， 是近代数学的一个分支 , 主要研究有限个或可数无限个离散量的结构和相互关系， 离散数量关系和离散结构数学结构模型 。由于计算机科学的迅速发展，与其有关的领域中，提出了许多有关离散量的理论问题，需要用某些数学的工具做出描述和深化。离散数学把计算机科学中所涉及到的研究离散量的数学综合在一起，进行较系统的、全面的论述，为研究计算机科学的相关问题提供了有力的工具。

离散数学的许多概念及问题自然地出现在数学的许多分支中，并且也在其它学科中发现了它的应用。这些包括在信息论和电子工程中的应用，在统计物理，在化学及在分子生物学。例如，像 Ramsey 理论、组合集合论、拟阵理论、极值图论、组合几何及相差论的组合论等论题。还包括在计算机学科的应用，如计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论都是与数学和科学世界的大部分问题密切相关的，并且已经发现这些论题在其它领域中有着众多的应用。