2021年4月2日星期五15点30，《离散数学》观摩活动在武汉晴川学院教教1-403举行，主讲教师是计算机学院李芬副教授。会计学院、商学院、计算机学院、机械与电气工程学院、外国语学院、传媒艺术学院、设计工程学院、公共课部和教务处33位教师参加了此次观摩活动。
离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
这次李芬教授公开课讲的是《离散数学》第二章“谓词逻辑”的第2.2小节——“谓词公式及其解释”。这一节课，主要是在上一节课的基础上，继续学习如这次公开课讲的是《离散数学》第二章“谓词逻辑”的第2.2小节——谓词公式及其解释。这一节课，主要是在上一节课的基础上，继续学习如何实现谓词公式的符号化，当个体域为全总个体域的时候，如何实现符号化，例如符号化“是金子总是要发光的”、“并非所有微笑的人都是高兴的”、 “尽管有人很聪明，但未必一切人都聪明”等等。后半节课学习了如何实现谓词公式的解释。主要分为谓词和函数的含义已知和未知两种情况下，谓词公式的解释。
李芬教授在课内大量融入了“课程思政”元素，例如：符号化“是金子总是要发光的”、“并非所有微笑的人都是高兴的”、 “尽管有人很聪明，但未必一切人都聪明”等。在讲授如何实现符号化的同时也自然融入了很多思政元素。国家倡导的“课程思政”，为新时代高校教师实现立德树人目标提出了新要求。本节课从设计到授课，层层深入、环环相扣，用人生、梦想导课，以习总书记讲话作结，首尾呼应，激发学生想创新、愿担当、去追梦的热情。“课程思政”对专业教师自身素质提出了更高的要求，要不断提升“课程思政”的基本功，扩大覆盖面，进而在全校范围内实施，努力构建“三全育人”新体系。这节公开示范课以实际案例掌握来培养学生的算法思维和能力将“课程思政”带入各专业、各门课，将立德树人落到实处，实现教育的初心和使命。
近年来计算机学院一直在计算机类课程的课程思政元素挖掘育人目标。
李芬教授对授课内容进行了深入浅出的讲解。她授课思路清晰，内容充实，知识面广，信息量大，讲授中结合实例采用启发式、参与式教学方法，引发了学生浓厚兴趣，课堂气氛热烈。
课后，观摩老师充分肯定了李芬教授在展示中将专业教学与思政德育有机融合，挖掘专业课中的德育元素，通过专业课程体现思政教育的润物细无声的隐性育人作用。同时就“课程思政”选题的精确性、课堂内容精选、专业课程与思政内容的有效融合点和课堂内容篇幅的把握等，提出意见和建议。如展示交流要考虑与学生的有效交流；要把职业素质、国家政策融入到课堂中；要在社会热点上激发学生，产生共鸣；要准确把握一门课与一堂课的融合，让学生明白本次课的目标和内容是什么；要考虑在创作与实践中融入思政元素，让思政元素融入专业课程更加自然、更加水到渠成。
此次示范课是学校全面落实立德树人、扎实推进课程思政的一项具体举措。学校坚持价值引领与知识传授相结合、课程教学与思想政治相结合、试点示范与推广应用相结合，在深挖育人元素、做好教学设计以及明确建设目标任务的基础上，开展课程思政示范学院、示范专业的遴选建设工作，以线上线下、课内课外和讨论互动、翻转课堂等多种生动有效的形式实施教学，打造一批亮点突出、学生推崇、成效显著的课程思政示范课程、特色课程，由此形成“课程思政”示范课程建设的校、院（部）和系（教研室）三级联动、相互促进的“课程思政”建设体系和格局。
