1. Introduction
  2. Course Tools
  4. Program Correctness
  5. Concrete Evaluation
  6. Proposition and Proofs
  7. Symbolic Execution
  8. Preconditions and Proof States
  9. Inductive Reasoning
  10. Mathematical Induction
  11. Variants of Inductive Proof
  12. Propositional Logic
  13. First-order Logic
  14. Natural Deduction
  15. Additional Topics in Logic
  17. Mathematical Modeling
  18. Sets and Their Operations
  19. Set Inclusion Principles
  20. Contradictory Proof
  21. Functions and Relations
  22. Equivalences
  24. Program Complexity
  25. Fundamental Counting Principles
  26. Ordered and Unordered Choice
  27. Counting-based Reasoning
  28. Counting Operations
  29. Recurrences
  31. Mathematical Applications to Programming
  32. Modeling with Graphs
    1. Introduction to Graphs
    2. Minimum Spannning Trees
    3. Shortest Paths
    4. Case Study: Automata
  34. Probabilistic Reasoning
    1. Frequentist Probability
    2. Random Variables and Expectation
    3. Conditional Probabilities