现代教育技术在“数理逻辑”课程中的应用

发布时间：2021-07-19 19:31

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

【文章来源】：中国大学教学. 2018,(12)北大核心CSSCI

【文章页数】：5 页

【文章目录】：
一、要解决的教学问题及目的
二、实验室的建设与发展
三、解决教学问题的方法
四、逻辑学习软件LPL的应用
    1. 用Boole解释的后承关系
    2. 用Fitch展示的形式证明
    3. 用Tarski’s World构造的反例



本文编号：3291290