Proof Blocks is a software tool which enables students to write proofs by dragging and dropping prewritten proof lines into the correct order. These proofs can be graded completely automatically, enabling students to receive rapid feedback on how they are doing with their proofs. When constructing a problem, the instructor specifies the dependency graph of the lines of the proof, so that any correct arrangement of the lines can receive full credit. This innovation can improve assessment tools by increasing the types of questions we can ask students about proofs, and can give greater access to proof knowledge by increasing the amount that students can learn on their own with the help of a computer.
翻译:校对区块是一个软件工具,使学生能够通过将预写校对线拖放到正确的顺序中来写证据。 这些校对可以完全自动地进行分级,让学生能够迅速得到关于他们如何使用校对的反馈。 当构建一个问题时,教官会指定证据行的依附图,这样线条的任何正确安排都能获得完全的信用。 这一创新可以通过增加我们可以向学生询问的关于校对的各类问题来改进评估工具,并通过增加学生在计算机的帮助下自己学习的金额,让学生有更多机会获得校对知识。