In this paper the author explores and demonstrates the vital role mathematics plays in technology by showing how algebra, and in particular Boolean algebra, has become an essential part of how computers and computer languages work. Both Boolean logic and algebra are core competencies in Computer Science at the university level which may encourage…

A Prolog program consists of a set of facts and rules rather than imperative statements, commonly used in most other programming languages. Therefore, the Prolog language is used to encode logic, from which the inference engine deduces logical conclusions. In this article, we argue that the use of the Prolog language can be useful to help students…

Spark, one of the products offered by MyQ (formerly Plethora), is a game-based platform meticulously designed to introduce students to the foundational concepts of computer science. By navigating through logical challenges, users delve into topics like abstraction, loops, and graph patterns. Setting itself apart from its counterparts, Spark boasts…