2022-05-17 16:15:01 +00:00
|
|
|
= Discrete =
|
2022-05-17 16:30:01 +00:00
|
|
|
|
|
|
|
|
== 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
|
