离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，也是计算机科学的基础核心学科。它是数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等课程必不可少的先行课程。主要培养学生的缜密思维，提高综合素质。在今天人工智能和大数据等相关新兴学科蓬勃发展的背景下，离散数学课程的学习尤为重要。

        本次开设课程的学习内容主要包括数理逻辑、集合论、代数结构、图论、课程综合实验等部分。整个课程的学习主要依托于我们教学团队主编的教材：《离散数学》（国家十二五规划教材、北京市精品教材）。

        整个课程的教学呈现出几个鲜明的特点：（1）针对离散数学学习内容特点，在传统教学方式基础上，引进了我们教学团队提出的融合了"知识逻辑结构"与"思维导图"的认知结构教学论（简称KM教学论）这一先进的教学理论（该教学法曾获得北京市教学成果一等奖），精心设计了基于“教学回路”的教学模式：篇→章→节→知识点→节→章→篇；（2）采用了我们教学团队编写的国家级规划教材；（3）将“问题驱动”理念引入到课堂教学中，设计并充分结合使用了实验教学环节，加深了对理论知识的了解和掌握。

        相信通过本门课程的学习，会深入理解、熟练掌握并能灵活应用离散数学的学习内容。

       通过学习该门课程，使学生掌握计算问题的离散化、形式化以及用计算机求解科学计算问题的方法，掌握离散系统的数学描述方法，并能对计算问题进行形式化描述与证明。同时，培养学生的抽象思维能力，为学生进一步学习后续课程打下基础。具体来说，主要教学目标包括：

       （1）掌握计算问题的离散化、形式化知识与方法，利用数理逻辑、集合论、代数结构和图论相关的基础知识与专业理论，对计算问题进行形式化描述；

       （2）掌握离散系统的数学描述方法，合理运用于计算问题的形式化表示、逻辑演算、逻辑推理和构建计算模型；

       （3）掌握离散数学相关的综合及系统知识，对信息技术相关的系统与模型进行分析与设计，并能够对计算问题进行形式化证明。

高等数学基础

线性代数基础

程序设计基础

[1] 杨炳儒，谢永红，刘宏岚，洪源，罗熊．离散数学．北京：高等教育出版社，2012．

[2] 左孝凌，李为鑑，刘永才．离散数学．上海：上海科学技术文献出版社，2000．

[3] 左孝凌，李为鑑，刘永才．离散数学理论分析题解．上海：上海科学技术文献出版社，2004．

[4] 屈婉玲，耿素云，张立昂．离散数学．北京：高等教育出版社，2008，第1版．

[5] 屈婉玲，耿素云，张立昂．离散数学学习指导与习题解析．北京：高等教育出版社，2009．

[6] 杨炳儒．离散数学．北京：人民邮电出版社，2006．

[7] 杨炳儒．图论概要．天津：天津科技出版社，1985．

[8] 周礼全．逻辑百科辞典．成都：四川教育出版社，1994．

[9] 傅彦，顾小丰，王庆先，刘启和．离散数学及其应用．北京：高等教育出版社，2007．

[10] 张明尧．离散数学．北京：机械工业出版社，2008．

[11] 梅家斌，刘红玲，罗娟等．离散数学辅导与习题解答（第三版）．武汉：华中科技大学出版社，2008．