During the last few years, there has been a growing interest in students getting engaged in digital game-making activities so as to enhance their thinking skills. The findings of studies that have examined the impact of such initiatives are quite positive, especially concerning the promotion of 21st century skills; however, many students seem to…

Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…

We can consider two basic views, when using mathematical software in the teaching of mathematical subjects. First: How to learn to use specific software for the specific tasks, e. g., software Statistica for the subjects of Applied statistics, probability and mathematical statistics, or financial mathematics. Second: How to learn to use the…

In the past, computer programming was perceived as a task only carried out by computer scientists; in the 21st century, however, computer programming is viewed as a critical and necessary skill that everyone should learn. In order to improve teaching of problem-solving abilities in a computing environment, extensive research is being done on…

This study aimed to provide first-hand accounts of the perceived long-term effects of learning computer programming on a learner's approach to mathematics. These phenomenological accounts, garnered from individual interviews of seven different programmers, illustrate four specific areas of interest: (1) programming provides context for many…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

The continued use of traditional lecturing across Higher Education as the main teaching and learning approach in many disciplines must be challenged. An increasing number of studies suggest that this approach, compared to more active learning methods, is the least effective. In counterargument, the use of traditional lectures are often justified…

Education research in computer science has emphasized the research of web-based learning environments as a result of the latest technological advancement in higher education. Our research aim is to offer new insights on the different teaching strategies in programming education both from a theoretical and empirical point of view as a response to…

Programming tools are being used in education to teach computer science to children as young as 5 years old. This research aims to explore young children's approaches to programming in two tools with contrasting programming interfaces, ScratchJr and Lightbot, and considers the impact of programming approaches on developing computational thinking.…

A key finding from the Speak Up Research Project findings is the increasing use of digital content, tools, and resources in the classroom to level the in-school playing field and empower the acquisition of those new skills by all students. Significant within this environment today is a seemingly universal agreement about the value of students…

These proceedings contain the papers of the 22nd International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2025), held in Porto, Portugal, from 1 to 3 November 2025 and organized by the International Association for Development of the Information Society (IADIS). [Individual papers are indexed in ERIC.]

Aim/Purpose: This study is an attempt to enhance the existing learning management systems today through the integration of technology, particularly with educational data mining and recommendation systems. Background: It utilized five-year historical data to find patterns for predicting student performance in Java Programming to generate…

Enrolling the cultural capital of underrepresented communities in PK-12 technology and curriculum design has been a primary strategy for broadening the participation of students of color in U.S. computer science (CS) fields. This article examines two ways that African-American cultural capital and computing can be bridged in CS education. The…

These proceedings contain the papers of the 15th International Conference on e-Learning (EL 2021), which was organised by the International Association for Development of the Information Society (IADIS), July 20-22, 2021. This conference is part of the 15th Multi Conference on Computer Science and Information Systems (MCCSIS), July 20-23, 2021,…

The article introduces an application which supports the education of database systems, particularly the teaching of SQL and PL/SQL in Oracle Database Management System environment. The application has two parts, one is the database schema and its content, and the other is a C# application. The schema is to administrate and store the tasks and the…