Abstract

Proof Blocks is a novel software tool which enables students to write mathematical proofs by dragging and dropping prewritten lines into the correct order, rather than writing a proof completely from scratch. We used Proof Blocks problems as exam questions for a discrete mathematics course with hundreds of students, allowing us to collect thousands of student responses to Proof Blocks problems. Using this data, we provide statistical evidence that Proof Blocks are easier than written proofs, which are typically very difficult. We also show that Proof Blocks problems provide about as much information about student knowledge as written proofs. Survey results show that students believe that the Proof Blocks user interface is easy to use, and that the questions accurately represent their ability to write proofs.

Original languageEnglish (US)
Title of host publicationICER 2021 - Proceedings of the 17th ACM Conference on International Computing Education Research
PublisherAssociation for Computing Machinery
Pages157-168
Number of pages12
ISBN (Electronic)9781450383264
DOIs
StatePublished - Aug 16 2021
Event17th ACM Conference on International Computing Education Research, ICER 2021 - Virtual, Online, United States
Duration: Aug 16 2021Aug 19 2021

Publication series

NameICER 2021 - Proceedings of the 17th ACM Conference on International Computing Education Research

Conference

Conference17th ACM Conference on International Computing Education Research, ICER 2021
Country/TerritoryUnited States
CityVirtual, Online
Period8/16/218/19/21

Keywords

  • CS education
  • automatic grading
  • discrete mathematics
  • proofs

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Education

Fingerprint

Dive into the research topics of 'Evaluating Proof Blocks Problems as Exam Questions'. Together they form a unique fingerprint.

Cite this