Description
Aims:
The module aims to introduce students to formal logical reasoning and to fundamental concepts in the theory of computation and formal languages.
Intended learning outcomes:
On successful completion of the module, a student will be able to:
- Identify and reason with the logical content of arguments.
- Recognise, write down and reason about automata and language grammars.
- Carry out standard proofs and refutations involving logic and computational models.
Indicative content:
This module introduces students to the theory of computation. The first half of the module will focus on mathematical logic, including: propositional logic, first-order logic, proof by induction and modal logic. The second half will focus on fundamentals of computation, automata and language theory.
Requisites:
To be eligible to select this module as optional or elective, a student must: ​(1) be registered on a programme and year of study for which it is a formally available; and (2) have A-level Mathematics (or equivalent).
Module deliveries for 2024/25 academic year
Last updated
This module description was last updated on 19th August 2024.
Ìý