This article offers the construct "unitizing predicates" to name mental actions important for students' reasoning about logic. To unitize a predicate is to conceptualize (possibly complex or multipart) conditions as a single property that every example has or does not have, thereby partitioning a universal set into examples and…

It is argued that logic, and in particular mathematical logic, should play a key role in the undergraduate curriculum for students in the computing fields, which include electrical engineering (EE), computer engineering (CE), and computer science (CS). This is based on (1) the history of the field of computing and its close ties with logic, (2)…

Computer science students often evaluate the behavior of the code they write by running it on specific inputs and studying the outputs, and then apply their comprehension to a more general understanding of the code. While this is a good starting point in the student's career, successful graduates must be able to reason analytically about the code…

The field of computational thinking (CT) is developing rapidly, reflecting its importance in the global economy. However, most empirical studies have targeted CT in K-12, thus, little attention has been paid to CT in higher education. The present scoping review identifies and summarizes existing empirical studies on CT assessments in…

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…

The purpose of this paper is to investigate students' engagement in computational thinking (CT) and programming with MATLAB when solving a mathematical task in a programming course at the undergraduate level. The data collection method is participant observation of three groups of three students presented with a mathematical task to solve. The…

One of the challenges that commencing university students in computing degree programs face is the difficulty in engaging with the abstract and complicated theories in the computing discipline. In particular, it is hard for beginner computer architecture students to visualise the link between the theory of digital logic and the behaviour of the…

The first obstacles to overcome when a student has to face the task of programming for the first time are the abstraction level, the comprehension of a language with unfamiliar concepts for him/her and the specific syntax for each programming language. This work presents the qualitative results obtained in a study focused on the gain of skills for…

Undergraduate computer science students need to learn analytical reasoning skills to develop high-quality software and to understand why the software they develop works as specified. To accomplish this central educational objective, this article describes a systematic process of introducing reasoning skills into the curriculum and assessing how…

This study explores students' cognitive processes while debugging programs by using an eye tracker. Students' eye movements during debugging were recorded by an eye tracker to investigate whether and how high- and low-performance students act differently during debugging. Thirty-eight computer science undergraduates were asked to debug two C…

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…

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…

The ability to reason with formal logic is a foundational skill for computer scientists and computer engineers that scaffolds the abilities to design, debug, and optimize. By interviewing students about their understanding of propositional logic and their ability to translate from English specifications to Boolean expressions, we characterized…

The present study aims to reveal the impact of students' critical thinking and logico-mathematical intelligence levels of students on their algorithm design skills. This research was a descriptive study and carried out by survey methods. The sample consisted of 45 first-year educational faculty undergraduate students. The data was collected by…

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…