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.
Lists linked to Foundations of Computation
|Title Sort by title||Semester||Last updated Sort by last updated|
|Foundations of Computing||10/02/2021 12:22:43|