Sets, Logic and Maths for ComputingUniversity studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation. The tools for developing these skills are in part qualitative concepts such as set, relation, function, and structures such as trees and well founded orders. They are also in part quantitative notably elementary combinatorics and finite