Notes on Discrete Mathematics

These are the notes for the Fall 2017 semester version of the Yale course CPSC 202a, Mathematical Tools for Computer Science. They have been subsequently updated to incorporate numerous corrections suggested by Dana Angluin and her students. This document also incorporates the lecture schedule and a