课程思政示范课·第123讲：离散数学——谓词逻辑
发文时间：2026-09-24
撰稿人：文/肖青 图/向科名 一审：刘俊成 二审：陈龙 三审：卢明
为落实立德树人根本任务，推进课程思政建设，充分发挥专业课堂的价值引领作用，9月22日，信息与电气工程学院在信息楼三合班开展湖南科技大学课程思政示范课第123讲，谭伟华老师面向学院学生带来《离散数学——谓词逻辑》专题授课。
谭伟华老师授课现场
本次课程围绕离散数学谓词与量词章节展开。课堂从命题逻辑的局限性切入，借助“所有正方形都是矩形”“苏格拉底三段论”经典推理实例，点明命题逻辑无法解析命题内部结构的短板，依次讲解个体、谓词、量词、个体域、全总个体域、特性谓词等核心知识点。谭伟华老师结合案例演示自然语言到谓词公式的符号化转化，将抽象难懂的数理逻辑知识逐层拆解，引导同学们构建严谨的形式逻辑思维。
在讲授专业知识的同时，课堂有机融入价值引领。谭伟华老师指出，利用谓词、量词完成逻辑分析，必须理清讨论对象、事物性质以及结论的适用边界。课程临近结束，他着重强调具体问题要具体分析，勉励同学们无论是开展数理推演，还是看待现实问题，都不能脱离前提条件随意推广结论，他以实事求是、审慎客观的科学思维感染在场学生，实现了知识传授能力培养与价值塑造的有机统一。整堂课教学设计严谨，理论与实例相互印证。听课学生认真听讲、积极思考，在夯实专业基础的同时，在科学思维方面深受启发。
此次示范课深度挖掘数理课程蕴含的育人资源。下一步，学院将持续深化课堂教学改革，推动专业教学和思政教育深度融合，不断提升课堂育人实效，着力培养专业能力扎实、科学素养良好的青年学生。
