离散数学

离散数学（英语：Discrete mathematics）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与连续变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是连续变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等“连续数学”的内容

离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础 离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。

多年主讲北京大学信息科学技术学院本科生离散数学课程，系国家精品课离散数学课程主持人，教育部师资培训离散数学课程主讲教师。多年主讲信息科学技术学院研究生课算法分析与计算复杂性理论以及软件与微电子学院算法分析与设计课程。主持过教育部立项的离散数学网络课程建设项目，参与过教育部高等学校计算机科学与技术专业核心课程内容实施方案研究项目，主持过高教社高等教育百门精品课程教材建设项目等