首页> 外文会议>Annual Frontiers in Education >Oliver: an online inference and verification system
【24h】

Oliver: an online inference and verification system

机译:奥利弗:在线推论和验证系统

获取原文

摘要

We describe Oliver, the Online inference and [f9]verification system for propositional logic. It provides a [f2]web-based interface for teaching propositional logic proofs, and accepts any valid direct proof Oliver provides instant feedback to students as to whether each step is correct or not, encourages experimentation by students and is integrated within the WeBWorK system for online grading and support. Oliver randomizes problems for students to [f9]reduce plagiarism and cheating. It has been successfully [f2]used to teach propositional logic to several thousand students at SUNY Stony Brook, and is very popular among students and faculty.
机译:我们描述了Oliver,在线推理和[F9]验证逻辑验证系统。它提供了一种基于Web的Web的界面,用于教学命题逻辑证明,接受任何有效的直接证明OLIVER为学生提供即时反馈,以便每个步骤是否正确,鼓励学生进行实验,并集成在WebWork系统中在线评分和支持。奥利弗随便为学生讨论[F9]减少抄袭和作弊。它已成功[F2]用于将命题逻辑教授南尚斯托尼克溪的数千名学生,在学生和教师中非常受欢迎。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号