> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/100-fundamentals/terms/discrete-math.md).

# discrete-math

## Math Hierarchy: Discrete Mathematics

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

* Discrete Math
  * Set theory
  * Combinatorics
  * Graph theory
  * Order theory
  * Game theory

## Discrete Mathematics

Discrete Mathematics studies discrete, separate and enumerable mathematical objects and structures.

Since computers operate on discrete bits of data, Discrete Mathematics overlaps with Computer Science in its study of:

* algorithms
* algorithmic complexity
* proofs
* formal language
* automata
* computability
* correctness of programming languages
* automated and assisted theorem proving

Solving a problem computationally requires

* modeling the world
* devising an algorithm
* determining its efficiency and correctness