Introduction

In this module we’ll talk about formal languages, computability and mathematical logic. Before going through each in turn it may be useful to see, in a simplified example, how closely related they are. The simplified example will be that of a module enrollment system.