基于计算思维的数理逻辑教学改革探索

针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将"对问题进行抽象建模—形式化—自动化—分析评估"这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法。