1. Introduction
    1. Welcome
    2. What you should know
    3. Using the exercise files
  2. Discrete Math Uses
    1. Basics of discrete mathematics
    2. Discrete math for programming
    3. Real-world discrete math
    4. Abstract discrete math
  3. Sets
    1. Objects as sets
    2. Set notation
    3. Set operations
    4. Power sets
    5. Sequences and sums
    6. Recursion
    7. Cardinality, disjointness, and partitions
    8. Sets from Cartesian products
    9. Challenge - Practice with sets
    10. Solution - Practice with sets
  4. Setting Up SML
    1. Functional programming
    2. Datatypes
    3. Characters and strings
    4. Recursive functions
    5. Challenge - Learn SML
    6. Solution - Create new data types
  5. Analyzing Data Sequences
    1. Use SML to create lists
    2. Perform functions on lists
    3. Create datatypes that use lists
    4. Challenge - Model a lunch order
    5. Solution - Model a lunch order
  6. Effective Arguments and Defensible Decisions
    1. Valid reasoning and inference
    2. Truth tables
    3. Identify and evaluate predicates
    4. Conditional propositions
    5. Valid arguments
    6. Rules of inference
    7. Prove logical equivalence
    8. Challenge - Write truth tables
    9. Solution - Write truth tables
  7. Proofs Made Easy
    1. Write a general outline for a proof
    2. Write subset proofs
    3. Evaluate conditional proofs
    4. Understand biconditional proofs
    5. Prove with mathematical induction
    6. Write a proof
    7. Write a proof
  8. Advanced Discrete Math Topics
    1. Visualize data with graph theory
    2. Network optimization with trees
    3. Event probability
    4. Cryptography
    5. Challenge - Advanced techniques
    6. Solution - Advanced techniques
  9. Conclusion
    1. Next steps