Textbooks

There is no required textbook for this class. Some good books are:

Discrete Mathematics by Gary Chartrand and Ping Zhang
Discrete Mathematics and Its Application by Kenneth Rosen

Topics Covered in the Course

Sets, functions, relations
Proof techniques, induction
Number theory
Counting and combinatorics
Probability
Logic
Graph Theory
Finiate automata and regular languages
Context-free languages
Computability and NP-Completeness