Computability Theory

15 points

Not offered 2024

For further information see Mathematics and Statistics


Mathematical models of computation. Computability and non-computability. Abstract complexity theory.


1) MATH230 and (COSC 222 or COSC261); or 2) 30 points in MATH or EMTH at 200 level, as approved by the Head of School; or 3) MATH230 and, with the approval of the Head of School, an appropriate Philosophy course.