《离散数学》课程思政教学案例（一等奖）.docx

《离散数学》课程思政教学案例（一等奖） 一、课程简介 “离散数学”课程是计算机类专业的专业基础课，学分2.5，学时46，主要包含3部分内容:集合论、图论、数理逻辑。集合论是整个数学的基础，也是计算机科学的基础，计算机科学领域中的大多数基本概念和理论采用集合的有关术语来描述和论证。图论的基本知识则始终陪伴着每一个计算机工作者的职业生涯。数理逻辑则通过研究形式化的推理系统来加强逻辑思维能力的训练，这两种能力是计算思维的核心 本节课采用任务驱动法让学生课前带着问题自学，课中带着问题讨论分析，课后带着问题查阅资料完成作业，努力做到以学生为主导，发挥学生的积极性，并通过案例将理论与实践相结合，力争学生将理论知识学通学活。教师在整堂课的授课过程中，通过几个案例，将课程思政的内容融入教学中，达到了润物细无声的效果。 课后借助慕课、学习通、QQ群、邮件等多维平台，发布调查问卷、知识点练习、单元测试、课程考试、讨论习题等，教师通过对学生历史成绩查询、课前课后资源学习记录、随堂测验分析、互动交流统计等对学生课后练习进行针对性辅导，反馈服务教学过程，实现对学生发展的动态追踪。 二、典型案例 1.案例简介 所属章节：命题逻辑等值演算所属教学内容：析取范式与合取范式主要融入的思政元素：辩证唯物主义透过现象看本质 2.案例 (1)教学内容在命题逻辑中，对于含有有限个原子命题的公式来说，用真值表的方式总可以在有限的步骤内确定它的真值，因此，对于给定公式的判定问题总是有解的。但是这种方法并不理想，因为公式中每增加一个命题变元，真值表的行数就比原来增加一倍，从而使计算量增加一倍；另外，由于同一个命题公式可以有不同的表达形式，而不同的表达形式可以显示很不同的特征，而这些特征可以显示出从某一角度考虑极为重要的性质。为此，我们将给出命题公式的一种标准形式一范式，范式给各种千变万化的公式提供了一个统一的表达形式，同时，范式的研究对命题演算的发展起了极其重要的作用。如要判断两个命题公式是否等价及一个公式是否永真、永假的判断，都将由公式的范式来解决；如在逻辑理论中判断公式的一些性质，在论证命题的完整性时要用到范式。在工程技术的线路设计方面，自动机理论与人工智能方面等也有极其重要的作用。 (2)教学目标让学生理解析取范式与合取范式的实质，掌握将命题公式转化成析取范式与合取范式的一般方法。培养学生透过现象看本质的问题分析能力。 (3)教学方法通过析取范式和合取范式的概念时介绍，引导学生将一些形式不同的命题公式可以化为相同的主合取范式或主析取范式，即它们是等价的。在现实世界中，一些从不同的角度来看虽然呈现出不同面貌，但是它们内部去有这相同的本质。结合唯物辩证法指出现象和本质是一对辩证统一矛盾体，它们解释客观事物的外在联系和内在联系。然而透过现象看本质是一件很难的事，要运用思辨的能力把握信息背后的本质，比如让学生思考各种弥漫的娱乐新闻的真实性，把大量的时间浪费在明星、网红的穿衣吃饭走路新闻上是否值得，多思考才会具有分辨真伪、去伪存真的能力。在教学中要适时的提出问题从而引导学生思考，“学而不思则罔，思而不学则殆”，让学生通过思考能提出问题、分析问题和解决问题，从而培养学生自主学习能力。 三、案例成效 通过在课堂讲授过程中适当加入相关思政元素后，把辩证唯物主义的一些思想方法融入其中，增强了学生上课的兴趣，同时学生的使命感和社会责任感油然而生。使学生对所学知识重要性有了更深的认识，愿意更加深入学习，提高了学习的效率。在最近一次课程考核中，本课程目标达成度都在0.70以上，较好的达成了课堂教学的目标。经常从时政和思政入手，鼓励同学们踏实学习，增强了学生学以致用的决心。同学之间建立良好的生活、学习氛围，相互学习、共同进步，挖掘自己的兴趣方向，能积极组队并参加相关的计算机类竞赛，并取得了相应成绩。 “课程思政”是一系统工程,其建设和改革必须继续探索、深化和完善，这就要在总结、借鉴已有成功实践的基础上,结合自身课程的特点，进而形成适合本门课程的完整教学体系。首先，需要提升专业课教师的课程思政能力，实现思想政治教育与专业课程的有机对接。其次，深化“隐性思想政治教育”理念的改革，真正做到“潜移默化,润物无声”。