1. Mindmap-Todo
   1. Add links to lectures
   2. Add homeworks and other review stuff
2. : Predicate Logic
3. Basic Strucutres: Sets, Functions, Sequences and Sums
4. The Fundamentals: Algorithmns, the Integers, and Matrics
5. Induction and Recursion
6. Counting
   1. Basic Counting Princple
      1. Product Rule
      2. Sum Rule
      3. Inclusion Exclusion Princple
      4. Tree Diagrams
   2. Pigeonhole Princple
   3. Premutations and Combinations
      1. Premutation
      2. Combination
   4. Binomial Coefficients
      1. Bionomial Theorem
      2. Pascal's Identity and Triangle
      3. Vandermonde's identity
   5. Generalized Premutations and Combinations
      1. Theorem 1
      2. Theorem 2
      3. Theorem 3
      4. Theorem 4
7. Discrete Probability
   1. Introduction to Discrete Probabilty
   2. Probability Theory
   3. Bayes Theorem
   4. Expected Value and Variance
8. Advanced Counting Techniques
   1. Recurrance Relations
   2. Solving Linear Recurrence Relations
      1. Theorem 2
      2. Theorem 2
      3. Theorem 3
      4. Theorem
      5. Theorem 5
      6. Theorem 6
   3. 7.3 Divide and Conquer Algorithmn and Recurrance Relation
   4. Generating Functions
   5. Inclusion- Exclusion
9. Relations
10. Graphs
11. Trees
12. Boolean Algebra
13. Modeling Computation