BSc Honours Specialization - Theory of Computation
COSC 3206 Theory of Computation
Prerequisites:
COSC 2006 and
MATH 1036
Hours:
Three hours of lecture per week for one term.
Credits:
3
Description:
Students learn the general theory of computability, automata and formal languages, and computational complexity theory. Students build a foundation in mathematical abstraction and logic related to computation. They gain an understanding of recursive functions, decidability, formal program semantics, the analysis of algorithms, program verification, the mathematics of program analysis, and the limits of computation through theoretical and practical work.