a.《离散数学》
授课团队 吉林大学主讲老师：欧阳丹彤 李占山 杨凤杰
授课目标：离散数学在教给学生离散问题建模、数学理论、计算机求解方法和技术知识的同时,培养学生的数学抽象能力与严密的逻辑推理能力。离散数学既是一门基础理论课程，又是一门与实际问题紧密相连的课程。通过本课程学习，将增强学生使用离散数学知识分析问题与解决实际问题的能力。
学时安排：每周4学时，共32周
b.《离散数学》
授课团队 北京大学主讲老师：王捍贫 刘田 曹永知
授课目标：
1．学习和掌握离散型关系结构的构成及分析方法，包括：
集合论的主要内容：集合的基本概念、二元关系、函数、自然数和基数等；
图论的主要内容：图的基本概念、欧拉图与哈密尔顿图、树、图的矩阵表示、平面图、图的着色、支配集、覆盖集、独立集与匹配、带权图及其应用等；
2. 学习和掌握离散型代数结构的构成、性质和分析方法，熟悉半群、群、环、域、格、布尔代数等有着重要应用背景的代数模型；
3. 学习和掌握组合配置的存在性证明和计数方法，并用于离散结构的性质分析。
4. 学习和掌握命题逻辑、一阶谓词逻辑的基本概念和推理方法。
5. 能够理论联系实际，用上述离散数学的描述工具和分析方法对实践中的离散系统进行建模和分析。
6. 通过严谨证明及正确逻辑推理的训练，进一步培养学生的抽象思维、计算思维能力和专业素质。
学时安排：共144学时
c.《离散数学》
授课团队 电子科技大学主讲老师：傅彦 顾小丰 王庆先
授课目标：通过本课程学习，培养和训练学生的抽象思维能力和严格的逻辑推理的能力，使学生了解离散数学在计算机学科和日常生活中的作用，为学生今后处理离散信息以及用计算机处理大量的日常事物和科研项目，从事计算机科学和应用打下坚实基础，特别是对那些从事计算机科学与理论研究的高层次计算机人员来说，更是一门必不可少的基础理论工具。
学时安排：每周4学时，共15周