= Discrete =

== Topics ==

* Propositional logic
  * Define them
  * and/or/implies/de morgan
  * laws (communtative, associative, etc)
* Predicate logic
  * Functions on logic statments
  * Quantifiers (A and E)
  * Nested quantifiers
* Functions
  * domain, range
* Sequences
  * summnations
  * geometric and arithmetic progressions
  * recurrence relations
* Set theory
  * bags vs sets
  * sets of numbers
  * set operations
* Inference
* Induction
  * pigeonhole