26 lines
470 B
Plaintext
26 lines
470 B
Plaintext
= 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
|