CAJ | 학술논문

本文回顾和整理了数理逻辑在计算机科学诞生和发展过程中引擎式的重要作用，强调了数理逻辑在计算机科学中的基础性地位和作用，以及笔者在本科教育中开设数理逻辑课程的改革探索。本科教育中该课程分为两种模式：一种侧重于形式主义，特点是简洁、易于机器实现；另一种侧重于构造主义，特点是自然、直观，符合人类推理思维过程。笔者在数理逻辑课程的课程教学中注意历史和人物的介绍，结合生活的逻辑实例，进行启发式的教育，课余鼓励学生结合编译工具完成经典逻辑的自动化判定程序。从十年的教学实践来看，数理逻辑教育取得了优良的教学成果。
본문회고화정리료수리라집재계산궤과학탄생화발전과정중인경식적중요작용，강조료수리라집재계산궤과학중적기출성지위화작용，이급필자재본과교육중개설수리라집과정적개혁탐색。본과교육중해과정분위량충모식：일충측중우형식주의，특점시간길、역우궤기실현；령일충측중우구조주의，특점시자연、직관，부합인유추리사유과정。필자재수리라집과정적과정교학중주의역사화인물적개소，결합생활적라집실례，진행계발식적교육，과여고려학생결합편역공구완성경전라집적자동화판정정서。종십년적교학실천래간，수리라집교육취득료우량적교학성과。