Mathematics for Software Engineering

Aims

An essential advantage of a mathematical specification is the ability to reason formally about the objects it contains, and thus about the system it describes. This course is an introduction to specification using mathematics. It shows how to reason about the objects in a specification, with varying degrees of formality.

Learning Outcomes

At the end of the course, students will:

• be familiar with the mathematics required for software engineering.
• be able to reason about the mathematical objects that appear in a specification.
• gain an appreciation for varying degrees of rigour and formality
• learn how to choose an appropriate level of detail or elaboration.