Computer-Aided Collaborative Reasoning across the Curriculum

基于面向对象组件重用的软件开发具有提高软件产品可靠性的潜力，但是为了实现这一潜力，软件开发人员必须能够开发高质量的软件组件，并且能够对其正确性进行推理。在教育中引入形式推理将使学生学习如何开发正确的程序，并理解为什么他们的程序是正确的。该项目通过开发三门本科课程（编程入门课程、数据结构和算法课程以及软件工程课程）的协作学习工具，在整个课程中反复灌输和放大推理在计算中的原理和应用。通过这些课程，pi通过计算机辅助、协作的方式让学生参与到整个课程中来教授推理。在协作推理范式中，学生团队参与解决问题。这种学习模型正在通过使用协作推理工作台的人类和自动助手的系统反馈周期（快速和延迟）得到增强。系统反馈为推理过程提供了结构。对于学生来说，快速的反馈可以使学习变得即时和令人兴奋，然而延迟的反馈在一些解决问题的环境中可能更有意义。工作台可以调整为提供任何一种类型的反馈，它包括一组练习和“推理助手”，以指导课堂内外的学生。

Computer Science (31) Software development based on the reuse of object-oriented components has the potential to improve the reliability of software products, but to realize this potential, software developers must be able to develop high quality software components, and be able to reason about their correctness. Introduction of formal reasoning in education will enable students to learn both how to develop correct programs and to understand why their programs are correct. This project is inculcating and amplifying principles and applications of reasoning in computing across the curriculum through the development of collaborative learning tools for three undergraduate courses: an introductory programming course, a data structures and algorithms course, and a software engineering course. Through these courses, the PIs are teaching reasoning across the curriculum by engaging students through a computer-aided, collaborative approach. In the Collaborative Reasoning paradigm, teams of students are involved in problem solving. This learning model is being enhanced with systematic feedback cycles, rapid and delayed, from both humans and automated assistants, using a Collaborative Reasoning Workbench. Systematic feedback gives structure to the reasoning process. Rapid feedback can make learning immediate and exciting for students, yet delayed feedback may be more meaningful in some problem-solving contexts. The Workbench can be tuned to provide either type of feedback, and it includes a set of exercises and "reasoning assistants" to guide students both inside and outside of the classroom.