Browse Hierarchy COMP5001: Foundations of Computation

This module covers the logical and mathematical concepts that underlie theories of computation. It introduces the notion that some problems are intrinsically more difficult than others (in a precise sense) and some problems are unsolvable. The module also aims to introduce students to the core concepts of formal languages and automata, which play key roles in the study of programming languages, and to develop practical skills in manipulating such entities.