CSCB36H3 Introduction to the Theory of Computation

Mathematical induction with emphasis on applications relevant to computer science. Aspects of mathematical logic, correctness proofs for iterative and recursive algorithms, solutions of linear and divide-and-conquer recurrences, introduction to automata and formal languages.


CSCA48H3 and [(CSCA65H3) or CSCA67H3] and[CGPA 2.75 or enrolment in a CSC Subject POSt or enrolment in a non-CSC Subject POSt for which this course is needed to satisfy program requirements]]


CSC236H, CSC240H

Breadth Requirements: 
Quantitative Reasoning