Mathematics (MATH)
School of Mathematics and Statistics
Faculty of Science
MATH 4803 [0.5 credit]
Computable Functions (Honours)
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness. (Also listed as
COMP 4803.)
Prerequisite:
MATH 2100 or
MATH 3805 or permission of the School.
Lectures three hours a week.