CSC236H1
UTSGIntroduction to the Theory of Computation
The application of logic and proof techniques to Computer Science. Mathematical induction; correctness proofs for iterative and recursive algorithms; recurrence equations and their solutions; introduction to automata and formal languages. This course assumes university-level experience with proof techniques and algorithmic complexity as provided by CSC165H1. Very strong students who already have this experience (e.g. successful completion of MAT157Y1) may consult the undergraduate office about proceeding directly into CSC236H1 or CSC240H1.
View full details on the UofT Academic CalendarCourse Info
Reviews (3)
Required CS course. This course was the first real 'computer science' course. Danny teaches fine, delivery is neither boring nor interesting. Recordings were horrendous, as his annotations were indecipherable.