This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

This study explores the effect of self-regulated learning support on learners' cognitive load and problem-solving performance, considering cases from well-structured to ill-structured tasks in a computer programing course. Sixty-seven undergraduate students in a computer programing fundamentals course were randomly assigned into one of two groups:…

Online courses on different platforms provide thousands of students with the knowledge and skills they need. This paper presents the results of a survey of students, during which they expressed their opinion on the use of electronic resources in teaching. The survey showed that students are more motivated to study when they understand how their…

In this paper, an example is offered of a problem-solving task for senior secondary school students which was given in the context of a story. As the story unfolds, the task requires progressively more complex forms of linear programming to be applied. Coding in MATLAB is used throughout the task in such a way that it supports the increasing…