逻辑学教育技术现代化论

现代教育技术应用于教育、教学是教育现代化的时代要求,也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。在逻辑教学中引入了LPL软件,可构造真值表的和一阶逻辑形式证明,学生网上提交并检查作业,增强了学生学习的主动性和创造性,激发了学生学习兴趣,大大提高了学习效率,节省了学习时间。