MEC Seminar: Jayne Trickett (Loughborough) & Athina Thoma (UEA)

  • 29 January 2020 - 29 January 2020
  • 14:00-17:00
  • SCH.0.13 Schofield Building

14:00-14:50 Jayne Trickett "Predictors of mathematical performance in children with neurodevelopmental disorders"

Abstract: Certain populations, such as children born preterm and children with genetic syndromes are at increased risk of global and specific impairments in mathematical performance.

This presentation will give an overview of the mathematical performance in these groups. In addition, it will consider how impaired neuropsychological abilities which are associated with poorer mathematical performance in these populations can inform our understanding of numerical cognition in the general population.

14:50-15:10 New Ethics System presentation from Jackie Green

15:10-15:15 Break

15:15-15:50 Reading group sessions

15:50-16:00 Break

16:00-17:00 Athina Thoma (UEA) "Proof writing and LEAN theorem prover: the case of the abundant number task"

Abstract: In this talk, I will present results from a study focusing on investigating first-year undergraduate mathematics students’ proofs and the potential of their engagement with a theorem prover called LEAN. During the first semester of their undergraduate studies, the students were offered the opportunity to engage with the theorem prover in optional evening sessions. The participants, whose experiences with LEAN varied, were interviewed at the end of the teaching period and were

asked to prove familiar and unseen mathematical tasks using a think-aloud protocol. In this talk, I will show results of the analysis of the proof of one task, with abundant numbers, from 36 first-year undergraduate students and explore the potential of their engagement with the LEAN theorem prover. The results suggest that engagement with LEAN assists in making the proof-writing more rigorous and abstract.

Contact and booking details

Booking required?