何睿

（重庆工程学院 软件学院，重庆 400000）

离散数学作为计算类专业的核心课程，旨在让学生理解并掌握基本理论与方法，培养学生的抽象能力与逻辑思维能力。通过对离散数学的学习，学生可以使用离散数学作为工具，对软件工程学科问题进行描述、分析、研究，达到对软件工程专业领域相关问题进行离散建模求解的能力目标[1]。

国际工程教育认证是推动新工科建设的重要手段。国际工程教育认证标准对学生的“工程知识”提出了“学以致用”的要求。包括两个方面，其一，学生必须具备解决复杂工程问题所需数学、自然科学、工程基础和专业知识；其二，能够将这些知识用于解决复杂工程问题。前者是对知识结构的要求，后者是对知识运用的要求[2]。2020版的国际工程教育认证手册中，要求举例说明运用数学知识解决复杂工程问题的培养环节，提高了运用数学知识的要求。

一、问题的提出

目前，离散数学课程的教学理念仍侧重于数学理论的推导演绎，注重训练学生的逻辑能力、抽象能力[3]，缺少在实际生活或专业领域的应用案例，对学生运用知识解决复杂工程问题的能力培养不够，导致学生学而不知其所用，产生“离散数学没有用”的疑惑。

按照国际工程教育的理念和要求，在传授理论知识的基础上，还需要引入软件工程领域问题，尤其是添加以专业背景的场景案例，并运用离散数学的知识分析问题，提出解决方案。

在离散数学课程中，不仅培养学生体会数学的抽象、推理、逻辑能力，而且能够学以致用，与后续专业课程建立联系，打通数学与软件专业课程的任督二脉。……