This course teaches all the math not taught in the traditional calculus/linear algebra sequence that is needed to take more advanced courses in theory of computation and/or algorithms. That is it teaches discrete mathematics logic and basic probability but does not teach calculus or linear algebra. It also gives a good introduction to reading mathematical notation and writing formal proofs. A principal objective of the course is to not just teach a set of mathematical topics but also to prepare students to think mathematically and to read and write mathematics. It is a fast-moving course that demands a substantial commitment of time and effort for students to be successful.
Harvard Division of Continuing Education