Publication Date
| In 2025 | 0 |
| Since 2024 | 2 |
Descriptor
Author
| Athina Thoma | 1 |
| Christian Dieter Schunn | 1 |
| Julio Guerra | 1 |
| Paola Iannone | 1 |
| Peter L. Brusilovsky | 1 |
| Yun Huang | 1 |
Publication Type
| Journal Articles | 2 |
| Reports - Research | 2 |
Education Level
| Higher Education | 2 |
| Postsecondary Education | 2 |
Audience
Location
| Chile | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkPaola Iannone; Athina Thoma – International Journal of Mathematical Education in Science and Technology, 2024
Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…
Descriptors: Programming, Mathematics Instruction, Computer Science Education, Student Attitudes
Yun Huang; Christian Dieter Schunn; Julio Guerra; Peter L. Brusilovsky – ACM Transactions on Computing Education, 2024
Programming skills are increasingly important to the current digital economy, yet these skills have long been regarded as challenging to acquire. A central challenge in learning programming skills involves the simultaneous use of multiple component skills. This article investigates why students struggle with integrating component skills--a…
Descriptors: Programming, Computer Science Education, Error Patterns, Classification
