10.3969/j.issn.1672-5913.2015.15.008
基于计算思维的数理逻辑教学改革探索
针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将“对问题进行抽象建模—形式化—自动化—分析评估”这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法.
计算思维、数理逻辑、抽象、形式化、自动化
G642(高等教育)
2015-08-31(万方平台首次上网日期,不代表论文的发表时间)
共5页
31-35