《离散数学》是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。课程内容主要包括数理逻辑、集合与关系、代数系统、图论等四部分内容,其中数理逻辑部分主要讲解命题逻辑和谓词逻辑中的基本概念、范式、逻辑关系式间的关系和基本的逻辑推理方法;集合与关系部分主要介绍有关集合和关系(如相容、等价、偏序)、函数的基本概念和基本运算;代数系统部分主要介绍代数系统的基本概念、基本运算及群、环、域、格及其布尔格的基本概念及其基本运算;图论部分主要介绍图的基本概念、连通性、特殊图的基本性质及其应用。课程主要知识结构如下图所示:

课程教学团队隶属国家级计算机软件基础课程教学团队,成员知识结构合理,教学经验丰富。团队注重教学内容和教学方法的改革与研究,基多年教学实践和经验,大力整合教学内容,吸收最新科研成果,强化课程教材和网络教学资源平台建设,建立了立体化的教学资源和模块化的课程体系;将网络教学与常规教学相结合,实践教学与科研项目相结合,虚拟实验与课程知识点相结合,构建了集课堂理论教学、课后线上答疑和虚拟仿真实验于一体的交互式教学模式。
《离散数学》课程于2014年被评为甘肃省高等学校精品课程,2015年被评为甘肃省高等学校精品资源共享课程,2018年被评为甘肃省高等学校精品在线开放课程,2020年被甘肃省教育厅认定为省级线上一流课程。

“离散学堂”微信公众号
《离散数学》课程学习强调逻辑性、抽象性,注重概念、方法及其应用。通过本课程逻辑推理、二元关系、代数结构及图论等基本概念、模型构建、算法设计等方面专门的研究、训练及应用,不仅为学生学习《数据结构》、《算法分析与设计》、《人工智能》、《数据库系统》等后续专业课程奠定坚实的数学理论基础,而且更加注重于学生的抽象思维能力、逻辑推理和创新能力的培养,提升其利用所学数学知识解决生活、生产实际中所遇复杂系统工程问题的能力,为将来从事信息学科理论研究和工程技术开发打下坚实的理论基础。
《离散数学》是计算机科学与技术、软件工程、物联网工程、网络工程等专业基础核心课程,也是通信工程、电子信息工程、电子科学与技术、自动化、电气工程及其自动化、轨道交通信号控制、交通运输、交通工程等专业必修课程。本课程适合于计算机类、电子信息类及交通运输类本科专业学生及研究生学习。

