Teaching Simple Constructive Proofs with Haskell Programs

07/26/2022
by   Matthew Farrugia-Roberts, et al.
0

In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal languages, aiming to offer our students a programming perspective on these mathematical topics. We have found it possible to offer almost all formative and summative assessment through an interactive learning platform, using Haskell as a lingua franca for digital exercises across our broad syllabus. One of the hardest exercises to convert into this format are traditional written proofs conveying constructive arguments. In this paper we reflect on the digitisation of this kind of exercise. We share many examples of Haskell exercises designed to target similar skills to written proof exercises across topics in propositional logic and formal languages, discussing various aspects of the design of such exercises. We also catalogue a sample of student responses to such exercises. This discussion contributes to our broader exploration of programming problems as a flexible digital medium for learning and assessment.

READ FULL TEXT
research
01/02/2021

Three Proofs that the Square Root of 2 Is Irrational

This short article gives three proofs that √ 2 is irrational. The articl...
research
05/12/2021

Iltis: Teaching Logic in the Web

The Iltis project provides an interactive, web-based system for teaching...
research
03/05/2018

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

The sequent calculus is a formalism for proving validity of statements f...
research
04/04/2018

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

Logic is a foundation for many modern areas of computer science. In arti...
research
02/03/2022

Synthesis of Modeling, Visualization, and Programming in GeoGebra as an Effective Approach for Teaching and Learning STEM Topics

GeoGebra is an interactive geometry, algebra, statistics, and calculus a...
research
08/20/2021

Kompetenzerwerbsförderung durch E-Assessment: Individuelle Kompetenzerfassung am Beispiel des Fachs Mathematik

In this article, we present a concept of how micro- and e-assessments ca...

Please sign up or login with your details

Forgot password? Click here to reset