We will start this module with a short overview of the module aims and objectives, and a summary of what you should expect from us and what we expect from you during the module.

The main aim of this module is to learn to offload hard (and/or boring) computational tasks to computers rather than solving them ourselves. You won't master this skill in a single semester but we will get you started on this path by covering fundamental structures common to mathematics and computing and how we translate between mathematical notation and computing languages (Python).

In this section, on propositional calculus, we will discuss how we analyse statements and how to construct more complex statements using logical operators. This is basis on how computers (and sometimes humans) make decisions.