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