# Category:Theorems in discrete mathematics

Computing portal |

Here is a list of articles in the category **Theorems in discrete mathematics** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

### C

### D

### G

## Pages in category "Theorems in discrete mathematics"

The following 40 pages are in this category, out of 40 total.

### A

- Akra–Bazzi method
*(computing)* - Analyst's traveling salesman theorem
*(computing)* - Arrow's impossibility theorem
*(computing)*

### B

- Bregman–Minc inequality
*(computing)*

### C

- Cameron–Erdős conjecture
*(computing)* - Chomsky–Schützenberger enumeration theorem
*(computing)* - Chomsky–Schützenberger representation theorem
*(computing)* - Curtis–Hedlund–Lyndon theorem
*(computing)*

### D

- Dinitz conjecture
*(computing)*

### E

- Erdős–Anning theorem
*(computing)* - Erdős–Ko–Rado theorem
*(computing)* - Erdős–Szekeres theorem
*(computing)* - Erdős–Szemerédi theorem
*(computing)*

### F

- Folkman's theorem
*(computing)* - Friedman's SSCG function
*(computing)*

### G

- Gibbard's theorem
*(computing)* - Gibbard–Satterthwaite theorem
*(computing)*

### H

- Hales–Jewett theorem
*(computing)* - Holland's schema theorem
*(computing)*

### K

- Kemnitz's conjecture
*(computing)* - Kruskal's tree theorem
*(computing)*

### L

- Large set (Ramsey theory)
*(computing)*

### M

- May's theorem
*(computing)* - Milliken's tree theorem
*(computing)* - Milliken–Taylor theorem
*(computing)* - Minimax
*(computing)* - Myhill–Nerode theorem
*(computing)*

### N

- Noisy-channel coding theorem
*(computing)*

### P

- Parthasarathy's theorem
*(computing)* - Pigeonhole principle
*(computing)*

### R

- Rado's theorem (Ramsey theory)
*(computing)*

### S

- Schur's theorem
*(computing)* - Schwenk's theorem
*(computing)* - Sprague–Grundy theorem
*(computing)* - Stanley–Wilf conjecture
*(computing)* - Star height problem
*(computing)* - Star of David theorem
*(computing)*

### T

- Theorem on friends and strangers
*(computing)* - Tutte–Berge formula
*(computing)*

### V

- Van der Waerden's theorem
*(computing)*