Publication Date
| In 2025 | 3 |
Descriptor
| Algorithms | 2 |
| Programming | 2 |
| 21st Century Skills | 1 |
| Advanced Students | 1 |
| Barriers | 1 |
| Computation | 1 |
| Computer Science Education | 1 |
| Computer Software | 1 |
| Concept Teaching | 1 |
| Critical Thinking | 1 |
| Design | 1 |
| More ▼ | |
Author
| Deise Monquelate Arndt | 1 |
| Gila Hanna | 1 |
| Jean Carlo Rossa Hauck | 1 |
| Nikolaos Pellas | 1 |
| Ramon Mayor Martins | 1 |
| Xiaoheng Yan | 1 |
Publication Type
| Journal Articles | 3 |
| Information Analyses | 1 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
| Early Childhood Education | 1 |
| Elementary Secondary Education | 1 |
| Higher Education | 1 |
| Postsecondary Education | 1 |
| Preschool Education | 1 |
Audience
| Teachers | 3 |
| Policymakers | 1 |
| Researchers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkXiaoheng Yan; Gila Hanna – International Journal of Mathematical Education in Science and Technology, 2025
As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…
Descriptors: Mathematics Instruction, Undergraduate Students, Mathematical Logic, Validity
Download full textDeise Monquelate Arndt; Ramon Mayor Martins; Jean Carlo Rossa Hauck – Informatics in Education, 2025
Critical thinking is a fundamental skill for 21st-century citizens, and it should be promoted from elementary school and developed in computing education. However, assessing the development of critical thinking in educational contexts presents unique challenges. In this study, a systematic mapping was carried out to investigate how to assess the…
Descriptors: Critical Thinking, Elementary Secondary Education, Computer Science Education, 21st Century Skills
Nikolaos Pellas – Journal of Educational Computing Research, 2025
Tangible programming tools (TPTs) are promising teaching aids in programming courses due to their interactivity and ability to enhance early childhood students' computational thinking, spatial reasoning, and executive function skills. However, it remains unclear whether TPTs support these skills simultaneously. This study examines the impact of…
Descriptors: Computation, Thinking Skills, Spatial Ability, Executive Function
