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