本科计算机教育中数理逻辑课程改革浅析 | |
庄朝晖 ; 赵致琢 | |
2013-12-15 | |
关键词 | 计算机本科教育 数理逻辑 教学方法 |
英文摘要 | 本文回顾和整理了数理逻辑在计算机科学诞生和发展过程中引擎式的重要作用,强调了数理逻辑在计算机科学中的基础性地位和作用,以及笔者在本科教育中开设数理逻辑课程的改革探索。本科教育中该课程分为两种模式:一种侧重于形式主义,特点是简洁、易于机器实现;另一种侧重于构造主义,特点是自然、直观,符合人类推理思维过程。笔者在数理逻辑课程的课程教学中注意历史和人物的介绍,结合生活的逻辑实例,进行启发式的教育,课余鼓励学生结合编译工具完成经典逻辑的自动化判定程序。从十年的教学实践来看,数理逻辑教育取得了优良的教学成果。; 福建省计算机专业人才培养创新实验区(厦门大学)经费支持; 福建省计算机科学与技术特色专业(厦门大学;仰恩大学)经费支持; 福建省本科重点学科专业(仰恩大学;计算机科学与技术)经费支持; 仰恩大学教学与科研基金等项目的经费支持 |
语种 | zh_CN |
内容类型 | 期刊论文 |
源URL | [http://dspace.xmu.edu.cn/handle/2288/122985] |
专题 | 信息技术-已发表论文 |
推荐引用方式 GB/T 7714 | 庄朝晖,赵致琢. 本科计算机教育中数理逻辑课程改革浅析[J],2013. |
APA | 庄朝晖,&赵致琢.(2013).本科计算机教育中数理逻辑课程改革浅析.. |
MLA | 庄朝晖,et al."本科计算机教育中数理逻辑课程改革浅析".(2013). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论