Browse Hierarchy MTH5108: Foundations of Computing

This module provides an introduction to the theory of computation through machines that solve problems. The machines are abstract and can be defined and studied in a mathematically precise way, but our main motivation for studying them is that they capture our intuitive understanding of what it means to solve a problem. Indeed, the abstract machines are equivalent in terms of the problems they can solve to any existing computer and to hypothetical ones like quantum computers.