Learning programming logic remains an obstacle for students from different academic fields. Considered one of the essential disciplines in the field of Science and Technology, it is vital to investigate the new tools or techniques used in the teaching and learning of Programming Language. This work presents a systematic literature review (SLR) on…

Difficulties in the learning of computer programming have been a universal problem. One of the main contributors of this problem is due to the teaching material used in guiding the students. Traditional teaching method using books and PowerPoint slides are not effective enough to support the dynamic nature of computer programming. Hence, a more…

Deductive logic is essential to a complete understanding of computer science concepts, and is thus fundamental to computer science education. Intelligent tutoring systems with individualized instruction have been shown to increase learning gains. We seek to improve the way deductive logic is taught in computer science by developing an intelligent,…

The technology works as a catalyst through which many changes occur in the learning approaches, teaching methodologies, research arena, in the work environment and in the use of information and knowledge. Helping students to learn using technological tools rather than using conventional techniques has become more popular in the 21st century in…

This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

In the last few decades, analogy, which is considered as a special case for reasoning, has attracted a great deal of attention from cognitive scientists. Although analogy was rarely applied in previous decades, now it is often considered by educators and researchers as a strategy to provide creative solutions and poetic writing (Paris & Glynn,…

These proceedings contain the papers and poster of the 6th International Conference on Educational Technologies 2019 (ICEduTech 2019), which has been organised by the International Association for Development of the Information Society and co-organised by the Lingnan University, in Hong Kong, February 8-10, 2019. ICEduTech is the scientific…

This Action Research project and Pilot Study was designed and implemented to improve students' hypothetical thinking abilities by exploring the possibility that learning and playing the computer game Minesweeper may inherently help improve hypothetical thinking. One objective was to use educational tools to make it easier for students to learn the…

The 4th International Conference on Educational Data Mining (EDM 2011) brings together researchers from computer science, education, psychology, psychometrics, and statistics to analyze large datasets to answer educational research questions. The conference, held in Eindhoven, The Netherlands, July 6-9, 2011, follows the three previous editions…

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…