Logic Games


We think one of the best ways to learn is through play. Here are six Serious Games on topics in Logic and Computer Science. We hope you'll enjoy them!

The games are developed by students in Computer Science at the University of Bath. The project is coordinated by Willem Heijltjes.



Digital Logic Dungeon

Robert Ashby - 2018


Logic Training

Max Sandberg - 2018


First-Order Logic Game

Amy Hooper - 2017


Regular Expression Tower Defence

Oliver Sellar - 2017


Syllogisms Game

James Treasure - 2017


Finite Automata Game

Freya Johnson - 2016