Discrete Mathematics

Course Code:


Course Name:

Discrete Mathematics



Course Description

This course provides students the opportunity to study the discrete mathematics that underpins formal aspects of Computation.

Central to this is how to prove properties of systems, so the module begins with an introduction to different proof methods and how to construct a proof both informally and formally. You will then study fundamental discrete structures such as sets, relations and functions and their associated properties. The module ends with an overview of induction, which will prepare you for a follow-on module on program reasoning.