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