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