离散数学¶

离散数学是计算机科学的数学基石。课程从数理逻辑和集合论出发，逐步建立关系与函数的形式化概念，并覆盖图论、树、组合数学等离散结构。这些内容直接服务于后续的数据结构、算法设计、计算理论和数据库等课程——例如关系代数是数据库查询语言的数学基础，图论与自动机理论紧密相连。

2023-2024 春夏学期专业基础课, 是竺院的课程，授课老师为金小刚老师。课程整体难度不大，中途会有两次无通知的小测。