《离散数学》是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。是我校计算机科学与技术、软件工程、物联网工程、通信工程、电子信息工程、交通运输工程等专业必修的一门重要的专业基础课。通过本课程数学推理，组合分析，离散结构，算法构思与设计，构建模型等方面专门与反复的研究、训练及应用，不仅为学生学习专业后续课程奠定坚实的理论基础，而且更加注重于培养学生的抽象思维能力、严格的逻辑推理和创新能力，力求提升学生利用所学数学知识解决生活、生产实际中所遇问题的能力，为将来从事的软、硬件应用开发和理论研究打下坚实的基础。
课程组隶属国家级计算机软件基础课程教学团队,成员学历层次高，知识结构合理。现有教授2名、副教授3名，讲师1名；4人具有博士学位，2人具有硕士学位。已形成一支治学严谨，年富力强，教学经验丰富，科研能力强的教学队伍。课程组注重教学内容和教学方法的改革与研究，基多年教学实践和经验，大力整合教学内容，吸收最新科研成果，强化课程教材和网络教学平台建设，建立了基网络教学平台于一体的立体化教学资源和模块化课程体系；将网络教学与常规教学相结合，实践教学与科研项目相结合，虚拟实验与课程知识点相结合，构建了基课堂理论教学、课后网教平台答疑和虚拟仿真实验于一体的交互式教学模式。在实际教学过程中取得了良好的教学效果，为全国铁路及信息行业输送了大批优秀人才。课程团队整合和建立的立体化教学资源、虚拟实验教学、网络教学平台和教学改革与研究等成果与国内同类课程相比具有鲜明的特色。
《离散数学》课程在2013年被被评为“兰州交通大学校级精品课程”，2014年被评为甘肃省高等学校精品课程，2015年被评为甘肃省高等学校精品资源共享课。
课程成绩由视频阶段测试、单元测试、期末考试等成绩综合评定。
合格：课程总成绩60分至80分；
良好：课程总成绩80分至90分；
优秀：课程总成绩90分至100分。
1、《高等数学》
2、《C语言程序设计》
绪论
第一部分：数理逻辑
1.命题逻辑
1.1 命题及其表示
1.2 命题联结词
1.3 命题公式
1.4 命题公式的等价
1.5 命题公式的蕴含
1.6 命题公式的范式
1.7 主析取范式
1.8 主合取范式
1.9 推理理论
1.10 直接推理
1.11 间接推理
2.谓词逻辑
2.1 谓词与量词
2.2 谓词公式
2.3 约束变元与自由变元
2.4 谓词公式的等价与蕴含Ⅰ
2.5 谓词公式的等价与蕴含Ⅱ
2.6 谓词推理Ⅰ
2.7 谓词推理Ⅱ
第二部分：集合与关系
3.集合与关系
3.1 集合的基本概念
3.2 集合的运算
3.3 序偶与笛卡尔积
3.4 覆盖与划分
3.5 二元关系及其表示
3.6 二元关系的运算
3.7 关系的性质Ⅰ
3.8 关系的性质Ⅱ
3.9 关系的闭包运算
3.10 等价关系
3.11 相容关系
3.12 偏序关系
3.13 极元与最元
3.14 上下界与确界
4.映射
第三部分：代数系统
5.代数系统
5.1 代数结构
5.2 特殊元素
5.3 半群及群
5.4 阿贝尔群与循环群
5.5 同态与同构
5.6 环及其性质
5.7 整环及域
6.格与布尔代数
6.1 格及其性质
6.2 分配格及有界格
6.3 有补格及布尔格
6.4 布尔代数
6.5 布尔表达式
第四部分：图论
7.图论
7.1 图的基本概念
7.2 结点的度
7.3 子图、补图及同构
7.4 路与回路
7.5 点割集与边割集
7.6 图的矩阵表示
7.7 欧拉图
7.8 欧拉图的应用
7.9 哈密尔顿图
7.10 平面图
7.11 对偶图
7.12 树及最小生成树
7.13 有向树及根树
7.14 最优树及前缀码
1.《 离散数学》 左孝凌,李为鉴,刘永才,上海科学技术出版社, 2001.8.
2.《 离散数学》 党建武,兰州大学出版社, 2005.8.
4. 微信公众号“离散学堂”
