Harvard Computer Science 20

Discrete Mathematics for Computer Science

For the Extension School course CSCI E-120, click here.

Catalog Number: 22235

Harry R. Lewis

Half course (spring term). M., W., F., at 10. EXAM GROUP: 3

Widely applicable mathematical tools for computer science, including topics from logic, set theory, combinatorics, number theory, probability theory, and graph theory. Practice in reasoning formally and proving theorems.

Note: Covers material used in Computer Science 121, Computer Science 124, and Applied Math 107. Students planning to take one of these computer science theory courses in the academic year 2012-2013 should consider taking Computer Science 20 in the spring of 2012. This course, when taken for a letter grade, meets the General Education requirement for Empirical and Mathematical Reasoning or the Core area requirement for Quantitative Reasoning.


Who Should Take CS 20?

Active Learning

Course Policies

Staff contact info and course calendar

Link to the question-answering tool that will be used for the check-in problems. Please create an account right away.

Link to the Piazza tool that will be used for getting help on homework problems, etc. This will not be live until after study card day as I need to authorize each student. Until then use the cs20@seas.harvard.edu email address to ask questions.

Link to course videos (available only to enrolled students starting around 2/1)

Link to MIT Course Noteswhich are the primary text

LaTeX resources

A little trailer for CS20, from a CS 50 class meeting: Video and slides