CS/Math 240: Introduction to Discrete Mathematics Readings

Author: Dieter van Melkebeek (updates by Beck Hasti and Gautam Prakriya)

Table of Contents

1. Introduction
2. Propositions and Predicates
3. Sets
4. Proofs
5. Induction
6. Invariants
7. Program Correctness
8. Recursion
9. Recurrences
10. Asymptotic Analysis
11. Relations and Functions
12. Graphs
13. Finite State Automata and Regular Expressions
14. Counting