Aim/Purpose: Research shows that students encounter difficulties in identifying the structure of argumentation texts and in understanding the main message of the argument. The research examined the effect that learning Logic Programming (LP), while applying logic inference, has on students' understanding of argumentation texts. Background:…

This study is primarily focused on assessing the students' logical thinking and cognitive levels in an online collaborative environment. The aim is to investigate whether the online collaboration has significant impact to the students' cognitive abilities. The assessment of the logical thinking involved the use of the online Group Assessment…

The paper-and-pencil programming strategy (PPS) is a way of representing an idea logically by any representation that can be created using paper and pencil. It was developed for non-computer majors to improve their understanding and use of computational thinking and increase interest in learning computer science. A total of 110 non-majors in their…

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…

This paper discusses the role of reduction in computer science and describes a study on undergraduate students' perception of the concept of reduction. Specifically, based on an analysis of students answers to questions addressing different computer science topics, we present several findings regarding the ways in which undergraduate students…

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…