Course Prerequisites

This is a proof-based course in theoretical computer science.

The course requires the following:

  • Knowledge of ALGORITHMS at a basic undergraduate level (COMPSCI 330 or equivalent)

  • Knowledge of DISCRETE MATHEMATICS at a basic undergraduate level (COMPSCI 230 or equivalent)

  • Knowledge of PROBABILITY and LINEAR ALGEBRA at a basic undergraduate level

  • Mathematical maturity commensurate with someone who has taken and done well in undergraduate proof-based mathematical courses