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…

Previous research indicates that understanding the state of learning motivation enables researchers to deeply understand students' learning processes. Studies have shown that visual programming languages use graphical code, enabling learners to learn effectively, improve learning effectiveness, increase learning fun, and offering various other…

Today, information technology (IT) has permeated virtually every aspect of our society and the learning of software programming is becoming increasingly important to the creation and maintenance of the IT infrastructure critical to our daily life. In this article, we report the results of a study that demonstrates how the self-regulation paradigm…

The purpose of this study was to examine the factors related to self-efficacy for Java programming among first year engineering students. An instrument assessing Java programming self-efficacy was developed from the computer programming self-efficacy scale of Ramalingam & Wiedenbeck. The instrument was administered at the beginning of the…