基于计算思维的数理逻辑教学改革探索
常亮;徐周波;孟瑜;古天龙; 1:桂林电子科技大学计算机科学与工程学院 摘要(Abstract)：

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

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

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 常亮;徐周波;孟瑜;古天龙;

Email:


参考文献(References)： [1]教育部高等学校大学计算机课程教学指导委员会.计算思维教学改革宣言[J].中国大学教学,2013(7):7-10.[2]李廉.以计算思维培养为导向深化大学计算机课程改革[J].中国大学教学,2013(4):7-11.[3]常亮,徐周波,古天龙,等.离散数学教学中的计算思维培养[J].计算机教育,2011(14):90-94.[4]丁金凤,李英梅,徐建山,等.基于计算思维的程序设计类课程教学实践[J].计算机教育,2012(15):65-68.[5]周虹,傅向华,王志强,等.基于计算思维的计算机图形学教学改革[J].计算机教育,2013(5):55-58.[6]李文生,吴舜歆.面向计算思维能力培养的程序设计课程[J].计算机教育,2014(3):57-60.[7]Jeannette M W.Computational thinking[J].Communications of the ACM,2006,49(3):33-35.


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(66K)