Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses

自动支持离散数学课程中逻辑推理技能的发展

• 批准号: 0942542
• 负责人: Bruce Weide
• 金额: $ 19.98万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-03-01 至 2012-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0942542&HistoricalAwards=false
• 关键词: Automated; Support; Developing; Logical; Reasoning

Computer Science (31)For nearly every major topic in an elementary science course, student assignments include many practice problems. Repeated practice helps students hone their skills. The project explores if software can simulate authentic interaction giving students a more effective experience than traditional rote drill-and-practice. Investigators are developing courseware, called Syrus, to help computer science students develop their skills with predicate logic and proof argument. Syrus allows student interactions that are more flexible than can be achieved with practice problems from a textbook. Students are not given a selection of answers to choose from and are not simply told if their answers are right or wrong. Instead, open-ended responses to practice problems are checked by sophisticated mathematical software in real-time. The system generates an almost endless supply of problems meeting instructor-specified criteria. Syrus is a web application available to anyone, anywhere, using a standard web browser.

计算机科学（31）对于基本科学课程中的几乎每一个主要主题，学生作业都包括许多实践问题。 反复练习有助于学生磨练技能。 该项目探讨了软件是否可以模拟真实的互动，为学生提供比传统的死记硬背的练习更有效的体验。 调查人员正在开发名为Syrus的课件，以帮助计算机科学专业的学生发展谓词逻辑和证明论证的技能。 Syrus允许学生进行比课本上的练习题更灵活的互动。 学生们没有选择答案，也没有简单地被告知他们的答案是对还是错。 相反，对实践问题的开放式反应由复杂的数学软件实时检查。 该系统产生了几乎无穷无尽的问题，满足供应商指定的标准。 Syrus是一个Web应用程序，任何人，任何地方，使用标准的Web浏览器。