数理逻辑中的计算思维能力培养  

Training of Computational Thinking Capacity in Mathematical Logic

作　　者：任雪芳[1] 汤积华[1] 

机构地区：[1]龙岩学院信息工程学院,福建龙岩364012

出　　处：《黑河学院学报》2016年第7期214-216,共3页Journal of Heihe University

基　　金：福福建省中青年教师教育科研项目"P-集合与逆P-集合在大数据分析中的应用研究"(JA15495);福建省中青年教师教育科研项目"信息伪装-隐藏与它的以假乱真传递研究"(JA15503);龙岩学院攀登项目"聚类分析与邻域粗糙集的交叉应用研究"

摘　　要：数理逻辑是计算机专业课程中的核心知识单元,新建地方应用型本科院校的计算机专业,在数理逻辑教学中存在一些缺陷。其教学理念、教学内容、教学方法等方面应不断改革,把计算思维能力培养融入到数理逻辑教学中,并给出基于计算思维的数理逻辑教学要点。Mathematical logic is one of the key knowledge units of discrete mathematics for computer major. But in many new local application- oriented undergraduate universities, Mathematical logic is treated as a pure mathematical theory to teach, without advanced teaching theory and clear training target, teaching effect is not ideal. Aimed at computer major in new local application-oriented undergraduate university, the present teaching situation of mathematical logic is analyzed, and the necessary of computational thinking capacity training is given. Finally by introducing computational capacity into mathematical logic, the key points of computational thinking-based mathematical logic teaching are presented from the point of view that teaching philosophy, teaching content, teaching method and so on.

关 键 词：数理逻辑 计算思维 建构主义 

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