基于考试逻辑判断题的数理逻辑教学案例设计  

作　　者：张宇辉 潘晓衡 李青青 

机构地区：[1]东莞理工学院计算机科学与技术学院,广东东莞523808

出　　处：《科技风》2024年第35期32-34,共3页

基　　金：2022年度广东省本科高校教学质量与教学改革工程项目“以学生为中心的《离散数学》课程教学改革与实践”;2022年广东省研究生教育创新计划项目“《人工智能》高水平课程及教材建设”(2022SFKC080);2022年度东莞理工学院质量工程项目“产教融合和多学科交叉背景下人工智能的教学改革与实践”(202202013)。

摘　　要：数理逻辑是采用数学方法研究逻辑形式及其规律的数学分支,是“离散数学”和“人工智能”课程的重要内容。现有的数理逻辑教学以理论讲解为主,教学案例较少且较为抽象,学生难以理解。为了提升数理逻辑的教学效果,本文结合公务员考试中的逻辑判断题,从数理逻辑角度分析解题思路与方法,增强学生逻辑思维能力。教学实践结果表明,以公务员考试中的逻辑判断题作为教学案例,可以激发学生自主学习兴趣,提升课堂教学效果。

关 键 词：离散数学 数理逻辑 命题逻辑 谓词逻辑 

分 类 号：TP391.4[自动化与计算机技术—计算机应用技术]