CSC240H Standard Course Description

Enriched Introduction to the Theory of Computation


Owner

Faith Fich fich@cs.toronto.edu

Course Description

The rigorous application of logic and proof techniques to Computer Science. Propositional and predicate logic; mathematical induction and other basic proof techniques; correctness proofs for iterative and recursive algorithms; properties of languages.

Background

Contains material currently in both CSC165H and CSC236H, condensed to fit into one half course. This course goes at a faster pace and will have more challenging assignments. It is geared towards students with strong mathematical backgrounds. This course is not intended for students who have taken CSC165H; they should normally proceed to CSC 236H. However, students who wish to switch up to this enriched course will be allowed to.

Prerequisistes

Corequisistes

Exclusions

Follow-On Courses

Learning Objectives

Topics (not necessarily in this order)

Suggested Texts

  1. REQUIRED

    No text chosen yet

Sample Evaluation

type weight description
assignments 40% 4-5 assignments
midterm tests 15-20% 1-2 tests
final exam 40-45%