CSC 236 2008F // Introduction to the theory of computation
Welcome to the web stub for the Fall 2008 term of
CSC 236, Introduction to the theory of computation.
In this course we how to apply the tools of rigour and proof to fundamental computer tasks.
Here's how to find out more:
Course information sheet. This is how this course is conducted. A paper copy
is available on request (but you might just read it here).
Check the Course
prerequesites to be sure you are able to participate in this
course. Without the proper prerequisites or a waiver, the
department may remove you at any point during the semester.
Check course bulletin board regularly (at least weekly).
A similar instance of this course is being offered by Prof. Avner Magen
at UTM.