离散数学是一门重要的计算机学科,是计算机科学与技术的理论基础,所以又称为计算机数学。说到底,计算机科学与技术就是离散数学的技术。A.M.TURING(图灵)的著名论文“理想计算机”给出了计算机设计的理论模型。在J.VONNEUMANN(冯.诺依曼)的领导下造出了世界上的第一台ENIAC.离散数学是计算机的核心课程,一方面,它给后续课程:如数据结构、OS、编译系统、数据库原理、人工智能等提供了必要的数学基础,另一方面,学习离散数学,能提高学生的抽象思维的逻辑推理能力。离散数学有很多的内容,但一般包括:数理逻辑、集合论、数论、代数结构和图论。