Learning Outcomes:
Upon sucessfully completing the module you should be able to perform basic equational proofs. You should be familiar with the proof strategies and techniques covered in the module and be able to choose appropriate ones when faced with a theorem to prove.
You should be familiar with the quantified notation used and be able to manipulate quantified expressions.
You should be able to perform inductive proofs.