Smart Learning Environments is affiliated with the International Association of Smart Learning Environments. This journal is supported by National Engineering Laboratory for Cyberlearning and Intelligent Technology and Smart Learning Institute of Beijing Normal University.
TrueBiters, an educational game to practice the truth tables of propositional logic: Development, evaluation, and lessons learned
Since years, the logic course in the first year of our Bachelor program in Computer Science, dealing with propositional and predicate logic, suffers from poor pass rates. The students perceive the formal and a...
Citation: Smart Learning Environments 2019 6:27