Automated Support for Developing Logical Reasoning Skills in Discrete Mathematics Courses

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

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.