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.

Lists linked to Foundations of Computation

Title Sort by title Semester Last updated Sort by last updated
Foundations of Computing 07/03/2024 13:10:55