Sets, Logic and Maths for Computing