There is a more recent version of this academic item available.

Overview

The official scope is: mathematical methods for designing correct and efficient programs; mathematics for algorithm analysis; logic for proving and verification. The actual content is taken from a list of subjects that constitute the basis of the tool box of every serious practitioner of computing: set and relation theory; induction, … For more content click the Read More button below.

Delivery

Multimodal - Standard (usually weekly or fortnightly)

In-person - Standard (usually weekly or fortnightly)

Fees

Pre-2019 Handbook Editions

Access past handbook editions (2018 and prior)