Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp. The limited availability of visual teaching aids for LP can lead to low motivation for learning. In this paper, we present a platform for teaching and learning Prolog in Virtual Worlds, which enables the visual interpretation and…

The main objective of this paper is to show a set of new methodologies applied in the teaching of Computer Science using ICT. The methodologies are framed in the conceptual basis of the following sciences: Psychology, Education and Computer Science. The theoretical framework of the research is supported by Behavioral Theory, Gestalt Theory.…

This paper explores the application of canonical gradient analysis to evaluate and visualize student performance and acceptance of a learning system platform. The subject of evaluation is a first year BSc module for computer programming. This uses "Ceebot," an animated and immersive game-like development environment. Multivariate…

While pedagogical and technological affordances of three-dimensional (3D) multiuser virtual worlds in various educational disciplines are largely well-known, a study about their effect on high school students' engagement in introductory programming courses is still lacking. This case study presents students' opinions about their participation in a…

Constructionism places an emphasis on the process of constructing shareable artefacts. Many virtual worlds, such as "Second Life", provide learners with tools for the construction of objects and hence may facilitate in-world constructionist learning experiences. However, the construction tools available present learners with a significant barrier…

These proceedings contain the papers of the 14th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2017), 18-20 October 2017, which has been organized by the International Association for Development of the Information Society (IADIS) and endorsed by the Japanese Society for Information and Systems in…

These proceedings contain the papers of the International Conference e-Learning 2015, which was organised by the International Association for Development of the Information and Society and is part of the Multi Conference on Computer Science and Information Systems (Las Palmas de Gran Canaria, Spain, July 21-24, 2015). The e-Learning 2015…

In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this…

These proceedings contain the papers of the 10th International Conference on Mobile Learning 2014, which was organised by the International Association for Development of the Information Society, in Madrid, Spain, February 28-March 2, 2014. The Mobile Learning 2014 International Conference seeks to provide a forum for the presentation and…

These proceedings contain the papers of the International Conference e-Learning 2014, which was organised by the International Association for Development of the Information Society and is part of the Multi Conference on Computer Science and Information Systems (Lisbon, Portugal July 15-19, 2014). The e-Learning 2014 conference aims to address the…

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…