离散数学中蕴涵词教学改革研究  

作　　者：周玉倩 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210006

出　　处：《课程教育研究》2021年第22期21-22,共2页Course education research

基　　金：国家自然科学基金(No.61901218);江苏省自然科学基金China(No.BK20190407)。

摘　　要：离散数学是信息类专业的专业必修基础课程,对提高学生的抽象思维能力与逻辑推理能力有重要作用.数理逻辑是离散数学课程的重要分支,本文针对数理逻辑中的蕴涵联结词的定义及相关命题的符号化进行教学改革研究.结合蕴涵词的教学目标,本文给出切实的教学设计,其以守信美德为引入点,重点讲授蕴涵联结词的定义和条件语句的符号化.蕴涵词的重难点是掌握蕴涵式的真值只有当前件为真且后件为假时才为假、区分充分条件和必要条件,通过学生讨论守信问题和思政例题突破重难点,使学生深刻掌握该知识.

关 键 词：离散数学 教学改革 思政融合 蕴涵词 

分 类 号：O158-4[理学—数学]