离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。

　　离散数学是现代数学的重要分支，也是计算机专业的专业课程，它主要研究离散量的结构及其相互关系，在很多学科领域都有广泛的应用，下面我们就来了解一下离散数学课程所涉及到的内容。

　　1.集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数

　　2.图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用

　　3.代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数

　　4.组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理

　　5.数理逻辑部分：命题逻辑、一阶谓词演算、消解原理

　　离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主， 课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。