Publication Date
| In 2025 | 0 |
| Since 2024 | 2 |
Descriptor
Source
| International Journal of… | 2 |
Publication Type
| Journal Articles | 2 |
| Reports - Research | 2 |
Education Level
| Higher Education | 2 |
| Postsecondary Education | 2 |
Audience
Location
| Italy | 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
Agnese Ilaria Telloni – International Journal of Mathematical Education in Science and Technology, 2024
We present a model for roleplaying (RP) for university students that is aimed at fostering the interactions of each learner with the teacher and coursemates, self- and peer-assessment, as well as an awareness and meaningful learning of mathematics. Specific features of our model are its focus on metacognition and individualized learning, based on…
Descriptors: Advanced Courses, Mathematics Instruction, Metacognition, Engineering Education
