A matemática discreta é o estudo de estruturas matemáticas que são discretas em vez de contínuas. Em contraste com os números reais que variam "suavemente", a matemática discreta estuda objetos como números inteiros, gráficos e declarações em lógica. Estes objetos não variam suavemente, mas têm valores distintos e separados. Portanto, a matemática discreta exclui tópicos da "matemática contínua", como cálculo e análise. Objetos discretos podem muitas vezes ser contados usando números inteiros. Os matemáticos dizem que este é o ramo da matemática que lida com conjuntos contáveis (conjuntos que têm a mesma cardinalidade dos subconjuntos dos números naturais, incluindo números racionais, mas não números reais). Entretanto, não há uma definição exata, universalmente acordada, do termo "matemática discreta". Muitas vezes, a matemática discreta é descrita menos pelo que está incluído do que pelo que está excluído: quantidades continuamente variáveis e noções relacionadas.

O conjunto de objetos estudados em matemática discreta pode ser finito ou infinito. O termo matemática finita é às vezes aplicado a partes do campo da matemática discreta que lida com conjuntos finitos, particularmente aquelas áreas relevantes para os negócios.

A pesquisa em matemática discreta aumentou na segunda metade do século XX em parte devido ao desenvolvimento de computadores digitais que operam em etapas discretas e armazenam dados em bits discretos. Os conceitos e notações da matemática discreta são úteis no estudo e descrição de objetos e problemas em ramos da ciência da computação, tais como algoritmos de computador, linguagens de programação, criptografia, prova de teorema automatizada e desenvolvimento de software. Por sua vez, as implementações de computadores são significativas na aplicação de idéias desde a matemática discreta até problemas do mundo real, tais como na pesquisa operacional.

Embora os principais objetos de estudo em matemática discreta sejam objetos discretos, métodos analíticos de matemática contínua também são freqüentemente empregados.