MAU22C00 – Discrete Mathematics
(Full Year, 10 credits) The mathematical objects studied in this module are fundamental not just for theoretical computer science but constitute the building blocks for formalising problems and writing down algorithms to solve those problems. The aim of the module is to provide a lifelong ability to operate with the mathematical objects and to make students comfortable with mathematical proofs.