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

作　　者：常亮[1] 徐周波[1] 孟瑜[1] 古天龙[1] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004

出　　处：《计算机教育》2015年第15期31-35,共5页Computer Education

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

关 键 词：计算思维 数理逻辑 抽象 形式化 自动化 

分 类 号：G642[文化科学—高等教育学]