Publication Date
| In 2025 | 0 |
| Since 2024 | 1 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 1 |
Descriptor
| Computer Science Education | 1 |
| Concept Formation | 1 |
| Difficulty Level | 1 |
| Learning Processes | 1 |
| Mathematical Concepts | 1 |
| Mathematical Logic | 1 |
| Mathematical Models | 1 |
| Mathematics Instruction | 1 |
| Programming | 1 |
| Programming Languages | 1 |
| Student Attitudes | 1 |
| More ▼ | |
Source
| International Journal of… | 1 |
Author
| Athina Thoma | 1 |
| Paola Iannone | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Research | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
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
