知识图谱赋能的离散数学教学实践

文章预览

0 引 言 离散数学是集合论、数理逻辑、代数系统、图论 4 个数学分支的总称，以研究离散量的结构和相互间的关系为主要目标，与计算机硬件和软件都密切相关，是后续多门课程的基石，是计算机相关专业的重要基础课程（如图 1 所示）。然而，离散数学理论性强、概念定理多、知识关联性强，理解上有一定难度，在教学中呈现出一些问题。 1 “教”与“学”的现状 1.1 教法 离散数学课程长期以来一直采用“定义—定理—证明”的纯数学教学模式，近期又出现了各种教学改革，如翻转课堂 [1] 、线上教学 [2] 、案例教学 [3] 、KM 教学 [4] 、课程思政 [5] 等，但都侧重学生的参与和内容的展示形式，缺乏针对数学概念、定理、性质、定律的非数学化教法，只关注内容是什么，忽略学生对知识的感知与认知，比如否定式就是复合命题“非 p”，为什么需要 ………………………………