课程内容
　　离散数学是研究有离散结构的系统的数量关系的一个数学分支。到目前为止，离散数学所研究的精确范围并没有严格的定义，它和其它许多纯粹数学以及应用数学分支之间有着广泛的交叉和相互渗透。但是作为给计算机专业本科生开设的一门数学基础课，离散数学课的内容相对来说通常有较为明确的界定。本课程主要包括数理逻辑（包括命题逻辑和谓词逻辑）、集合论、图论以及代数结构等四个方面的内容。

教学目标
　　离散数学，是计算机专业的一门重要的基础理论课，它的研究对象与微积分等课程所要研究的的连续型的量迥然不同，它主要研究离散型的量的结构及其相互间的关系，因而特别体现了计算机科学的离散性这一重要特征。本课程的作用是为计算机专业的学生进一步学习计算机类的其它课程（如计算机原理、数据结构、电子电路、程序设计、数据库原理及其用、软件工程等）打下扎实的基础。 

本课程的目的：
　　将抽象的数学知识以学生可以接受的、喜闻乐见的形式传授下去，让学生理解《离散数学》中的基本概念，了解部分定理的证明，掌握部分习题的计算；培养学生严密的逻辑思维、抽象推理、发散思维能力以及从实际工程问题中建立基本数学模型的能力。力求使学生能被培养成会利用所学数学知识解决生活、生产实际中所遇问题的创新性人才。