本课程在课程体系上集合了数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础，本课从2004年秋季在北京大学开课以来，深受理科专业学生欢迎。2015年以来，本课面向在线开放课程进行了调整，加大了基础概念应用介绍和探讨的比重。