# Discrete Mathematics

- Graphs
- Knots
- Matroids
- Packings
- Combinatorics
- Ramsey Theory
- Logic
- Set theory
- Order Theory

https://en.wikipedia.org/wiki/Discrete_mathematics

# Graphs

See note on graphs

# Knots

See also topology

https://en.wikipedia.org/wiki/Knot_polynomial

Rational Tangles - infinite series

# Matroids

See also abstract algebra

https://en.wikipedia.org/wiki/Matroid

“where greedy works”

https://en.wikipedia.org/wiki/Submodular_set_function

greedoids

https://en.wikipedia.org/wiki/User:David_Eppstein/Matroid_Theory

# Packings

Circle packing. Really cool. A discrete analog of complex functions

# Combinatorics

Binomial

Generating function generatingfunctionology combinatorial species

https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/species/species.html https://hackage.haskell.org/package/species

Shadow calculus Sums https://en.wikipedia.org/wiki/Umbral_calculus

Concrete mathematics

PIE principle inlcusion exclusion

pigeon hole principle The continuous analog.

polya enumeration theorem polya’s theory of counting

handbook of combinatorics

https://en.wikipedia.org/wiki/Combinatorial_design

Finite geometry

https://en.wikipedia.org/wiki/Incidence_structure

# Ramsey Theory

Big step up in sophistication huh Principles that

Cody says has something to do with well quasi-orders

https://en.wikipedia.org/wiki/Schur%27s_theorem https://mathworld.wolfram.com/SchurNumber.html Schur number 5 = 161. 2017

Ramsey number solution to party problem. R(m,n) m know each other or n don’t know each other. Diagonal vs nondiagonal 2023 breakthrough on upper bound

# Logic

See lik the whole pile on logic

# Set theory

Ditto

# Order Theory

https://en.wikipedia.org/wiki/Order_theory

https://en.wikipedia.org/wiki/Dilworth%27s_theorem Finite po-sets

https://en.wikipedia.org/wiki/Hasse_diagram visualizing posets

## Lattice

See also abstract algebra