Efficiency of Learning from Proof Blocks Versus Writing Proofs

Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a randomized controlled trial designed to measure the learning gains of using Proof Blocks for students learning proof by induction. The study participants were 332 students recruited after completing the first month of their discrete mathematics course. Students in the study took a pretest and read lecture notes on proof by induction, completed a brief (less than 1 hour) learning activity, and then returned one week later to complete the posttest. Depending on the experimental condition that each student was assigned to, they either completed only Proof Blocks problems, completed some Proof Blocks problems and some written proofs, or completed only written proofs for their learning activity. We find that students in the early phases of learning about proof by induction are able to learn just as much from reading lecture notes and using Proof Blocks as by reading lecture notes and writing proofs from scratch, but in far less time on task. This finding complements previous findings that Proof Blocks are useful exam questions and are viewed positively by students.

Original languageEnglish (US)
Title of host publicationSIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education
PublisherAssociation for Computing Machinery
Pages472-478
Number of pages7
ISBN (Electronic)9781450394314
DOIs
StatePublished - Mar 2 2023
Event54th ACM Technical Symposium on Computer Science Education, SIGCSE 2023 - Toronto, Canada
Duration: Mar 15 2023Mar 18 2023

Publication series

NameSIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education
Volume1

Conference

Conference54th ACM Technical Symposium on Computer Science Education, SIGCSE 2023
Country/TerritoryCanada
CityToronto
Period3/15/233/18/23

Keywords

  • automatic grading
  • cs education
  • discrete mathematics
  • mathematical proofs

ASJC Scopus subject areas

  • Education
  • General Computer Science

Fingerprint

Dive into the research topics of 'Efficiency of Learning from Proof Blocks Versus Writing Proofs'. Together they form a unique fingerprint.

Cite this