Learning Outcomes:
On successful completion of the module you should be familiar with the concepts of Invariants.Problem decomposition,Symmetry,Induction.Simple boolean calculusYou should be able to use these concepts and apply them to solve a wide range of puzzles and to analyse a number of two-person games.