Logic Games

We think one of the best ways to learn is through play. Here are some 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.

First-Order Platformer

Lottie Carr | 2022

Cipher Game

Reebu Cherian | 2022

Cantor's Labyrinth

Jack Griffiths | 2022

Lasers & Context-Free Grammars

Daniel Hawkes | 2022

Ultimate Matrix Maze Puzzle

Ieuan Lambert | 2022

Lambda-Calculus Game

Owen Palmer | 2022

First-Order Logic

Aimy Varghese | 2022

Pumping Dilemmas

Seth Whitehorn | 2022

Matrix Mania

Hannan Shah | 2021

Logic Chess

Ethan Tribe | 2021

Regex Tetris

Max Wheaton | 2021

Lambda-Calculus

Ethan Carolan | 2020

Origami Programming

Alex Howard | 2020

Labyrinth Tree Traversal

Aidan Saxon | 2020

Finite Rhythm

Ben Hetherington | 2019

GetSet

Kate Mainwaring | 2019

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