# Portal:Discrete mathematics

**Discrete mathematics** is the study of mathematical structures that are fundamentally discrete in the sense of not supporting or requiring the notion of continuity. Discrete objects can be enumerated by integers. Topics in discrete mathematics include number theory (which deals mainly with the properties of integers), combinatorics, logic, graphs, algorithms, and formal languages.

Discrete mathematics has become popular in recent decades because of its applications to computer science. Discrete mathematics is the mathematical language of computer science. Concepts and notations from discrete mathematics are useful in studying and describing objects and problems in all branches of computer science, such as computer algorithms, programming languages, cryptography, automated theorem proving, and software development. Conversely, computer implementations are tremendously significant in applying ideas from discrete mathematics to real-world applications, such as in operations research.

The set of objects studied in discrete mathematics can be finite or infinite. In real-world applications, the set of objects of interest are mainly finite, the study of which is often called **finite mathematics**. In some mathematics curricula, the term "finite mathematics" refers to courses that cover discrete mathematical concepts for business, while "discrete mathematics" courses emphasize discrete mathematical concepts for computer science majors.

## Selected article

Example of a four color map |

The **four color theorem** states that given any plane separated into regions, such as a political map of the counties of a state, the regions may be colored using no more than four colors in such a way that no two adjacent regions receive the same color. Two regions are called *adjacent* if they share a border segment, not just a point.

It is often the case that using only three colors is inadequate. This applies already to the map with one region surrounded by three other regions (even though with an even number of surrounding countries three colors are enough) and it is not at all difficult to prove that five colors are sufficient to color a map.

The four color theorem was the first major theorem to be proven using a computer, and the proof is not accepted by all mathematicians because it would be infeasible for a human to verify by hand (see computer-aided proof). Ultimately, in order to believe the proof, one has to have faith in the correctness of the compiler and hardware executing the program used for the proof.

The lack of mathematical elegance was another factor, and to paraphrase comments of the time, "a good mathematical proof is like a poem — this is a telephone directory!"

...Archive |
Image credit: User:Inductiveload | Read more... |

## WikiProjects

The **Mathematics WikiProject** is the center for mathematics-related editing on Wikipedia. Join the discussion on the project's **talk page**.

**Project pages**

**Essays**

**Subprojects**

**Related projects**

## Selected picture

**Penrose tiling**, an example of a tiling that can completely cover an infinite plane, but only in a pattern which is non-repeating (aperiodic).

...Archive |
Image credit: xJaM | Read more... |

## Did you know?

- ...that there are precisely six convex regular polytopes in four dimensions? These are analogs of the five Platonic solids known to the ancient Greeks.
- ...that the Catalan numbers solve a number of problems in combinatorics such as the number of ways to completely parenthesize an algebraic expression with
*n*+1 factors?

## Categories

*Topics in Discrete mathematics*

Major areas | Combinatorics | Graph Theory | Game theory |
---|---|---|---|

## Related portals

Algebra |
Analysis |
Categorytheory |
Computerscience |
Cryptography |
Discretemathematics |
Geometry |

Logic |
Mathematics |
Numbertheory |
Physics |
Science |
Set theory |
Statistics |
Topology |