基于"数理逻辑"课程的教学特点,利用现代教育技术的教学手段,解决按照传统的教学方式讲授"数理逻辑"课程中两个比较突出的问题。从而提高学生们学习"数理逻辑"课程的兴趣,提高学生们独立思考、抽象思维和动手解决问题的能力,提高该课程的教学质量。