本科计算机教育中数理逻辑课程改革浅析

• 作者: 庄朝晖 赵致琢
• 来源期刊: 工业和信息化教育
• 学科: 教育
• 关键词: 计算机本科教育 数理逻辑 教学方法
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 专业与课程建设
• 页码范围: 59-63,94
• 页数: 6页
• 分类号: G642.0
• 字数: 7304字
• 语种: 中文

摘要

本文回顾和整理了数理逻辑在计算机科学诞生和发展过程中引擎式的重要作用，强调了数理逻辑在计算机科学中的基础性地位和作用，以及笔者在本科教育中开设数理逻辑课程的改革探索。本科教育中该课程分为两种模式：一种侧重于形式主义，特点是简洁、易于机器实现；另一种侧重于构造主义，特点是自然、直观，符合人类推理思维过程。笔者在数理逻辑课程的课程教学中注意历史和人物的介绍，结合生活的逻辑实例，进行启发式的教育，课余鼓励学生结合编译工具完成经典逻辑的自动化判定程序。从十年的教学实践来看，数理逻辑教育取得了优良的教学成果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学计算机与信息学院计算机科学系	38	153	6.0	11.0
3	庄朝晖	厦门大学计算机与信息学院计算机科学系	7	7	2.0	2.0