Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 2 |
| Since 2006 (last 20 years) | 3 |
Descriptor
Publication Type
| Journal Articles | 2 |
| Reports - Research | 2 |
| Collected Works - Proceedings | 1 |
| Tests/Questionnaires | 1 |
Education Level
| Higher Education | 3 |
| Postsecondary Education | 2 |
| Elementary Secondary Education | 1 |
Audience
Location
| United Kingdom | 3 |
| Asia | 1 |
| Australia | 1 |
| Brazil | 1 |
| Connecticut | 1 |
| Denmark | 1 |
| Egypt | 1 |
| Estonia | 1 |
| Florida | 1 |
| Germany | 1 |
| Greece | 1 |
| More ▼ | |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkThoma, Athina; Iannone, Paola – International Journal of Research in Undergraduate Mathematics Education, 2022
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…
Descriptors: Validity, Mathematical Logic, Mathematics Instruction, Undergraduate Students
Isiaq, Sakirulai Olufemi; Jamil, Md Golam – International Journal of Information and Learning Technology, 2018
Purpose: The purpose of this paper is to explore the use of a simulator for teaching programming to foster student engagement and meaningful learning. Design/methodology/approach: An exploratory mixed-method research approach was adopted in a classroom-based environment at a UK university. A rich account of student engagement dimensions…
Descriptors: Learner Engagement, Mixed Methods Research, Universities, Programming
Download full textInternational Association for Development of the Information Society, 2012
The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…
Descriptors: Academic Achievement, Academic Persistence, Academic Support Services, Access to Computers
