Create a free account to unlock full content!
By registering, you agree to our Privacy Statement and Terms and Conditions.
Program Overview
Theory of Computation (COMP0003)
Key Information
- Faculty: Faculty of Engineering Sciences
- Teaching department: Computer Science
- Credit value: 15
- Restrictions: Module delivery for UG (FHEQ Level 4) available on BSc Computer Science; MEng Computer Science; MEng Mathematical Computation; BA Philosophy and Computer Science.
Alternative Credit Options
There are no alternative credit options available for this module.
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:
- Be registered on a programme and year of study for which it is formally available.
- Have A-level Mathematics (or equivalent).
Module Deliveries for 2026/27 Academic Year
- Intended teaching term: Term 2
- Undergraduate (FHEQ Level 4)
Teaching and Assessment
- Mode of study: In person
- Methods of assessment: 100% Exam
- Mark scheme: Numeric Marks
Other Information
- Number of students on module in previous year: 220
- Module leader: Dr Quang Loc Le
Last Updated
This module description was last updated on 10th March 2026.