Title: Bridging Mathematics and Computer Science with Haskell
Venue: Computing at School Conference, Birmingham, UK
Workshop session summary: The statutory entitlements for mathematics and computer science require learners to be able to move fluently between representations of mathematical ideas and to master computational thinking. At university level conceptual mathematics unifies the study of algebra, geometry and logic. We have developed a set of (6) exercises that apply conceptual mathematics to meet these new entitlements.
In this session we will show how to apply this approach to Caleb Gattegno's early algebra. Gattegno was a pure mathematician and educationist who was founding secretary of the Association of Teachers of Mathematics (ATM). He uses Cuisenaire resources to teach all four arithmetic operations and fractions as operators in Year 1 as required in the new curriculum. His is the only proven way to do this. In Gattegno's concept graph algebra is introduced before arithmetic through the study of constructions made with colour coded rods. We have been exploring the use of Haskell as a language to model these elements and operations across the transition from primary to secondary school. We have found that it provides a useful bridge between the statutory requirements for mathematics and computer science as well as an invaluable vehicle for teacher professional development.
Speaker biography: Ian Benson is acting CEO of Sociality Mathematics CIC, a community interest company that supports a network of schools following the Cuisenaire-Gattegno approach to mathematics. He is a member of the General Council of the ATM. Ian has a PhD in Computer Science (Cantab), a Masters in Symbolic Computation (Stanford) and a Masters degree (Cantab) in Mathematics. This workshop describes the results of a pilot project with Year 6 and Year 7 mathematics and computer science students.