In this module, further mathematical foundations required for the programme will be introduced. It will introduce logical and mathematical ideas fundamental to computation.
Learning Outcomes
By the end of this module students should be able to:
Use propositional logic proficiently
Use the formalism of models of computation proficiently