Efficiency of Learning from Proof Blocks Versus Writing Proofs

11/17/2022
by   Seth Poulsen, et al.
0

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.

READ FULL TEXT
research
06/07/2021

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

Proof Blocks is a software tool which enables students to write proofs b...
research
04/08/2022

Efficient Partial Credit Grading of Proof Blocks Problems

Proof Blocks is a software tool which allows students to practice writin...
research
02/28/2020

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

Structural induction is a proof technique that is widely used to prove s...
research
03/12/2023

Improving the Diproche CNL through autoformalization via GPT-3

The Diproche system is an automated proof checker for texts written in a...
research
04/01/2019

Students' Proof Assistant (SPA)

The Students' Proof Assistant (SPA) aims to both teach how to use a proo...
research
06/21/2023

The Cydoc smart patient intake form accelerates medical note writing

Purpose: This study evaluates the effect of Cydoc software tools on medi...
research
04/20/2010

Publishing Math Lecture Notes as Linked Data

We mark up a corpus of LaTeX lecture notes semantically and expose them ...

Please sign up or login with your details

Forgot password? Click here to reset