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.


翻译:校对区块是一个软件工具,使学生能够通过将预写校对线拖放到正确的顺序中来写证据。 这些校对可以完全自动地进行分级,让学生能够迅速得到关于他们如何使用校对的反馈。 当构建一个问题时,教官会指定证据行的依附图,这样线条的任何正确安排都能获得完全的信用。 这一创新可以通过增加我们可以向学生询问的关于校对的各类问题来改进评估工具,并通过增加学生在计算机的帮助下自己学习的金额,让学生有更多机会获得校对知识。

0
下载
关闭预览

相关内容

【图与几何深度学习】Graph and geometric deep learning,49页ppt
【如何做研究】How to research ,22页ppt
专知会员服务
108+阅读 · 2021年4月17日
专知会员服务
39+阅读 · 2020年9月6日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
78+阅读 · 2020年7月26日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
152+阅读 · 2019年10月12日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
已删除
将门创投
4+阅读 · 2019年9月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
Arxiv
0+阅读 · 2021年8月22日
Arxiv
0+阅读 · 2021年8月21日
Device-Free Sensing in OFDM Cellular Network
Arxiv
0+阅读 · 2021年8月20日
Deep Learning for Deepfakes Creation and Detection
Arxiv
6+阅读 · 2019年9月25日
Arxiv
3+阅读 · 2015年11月29日
VIP会员
相关资讯
已删除
将门创投
4+阅读 · 2019年9月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
Top
微信扫码咨询专知VIP会员