Matemática Discreta

Matemática discreta é o ramo que trata de objetos contáveis e separados — inteiros, conjuntos finitos, grafos, cadeias de caracteres — em oposição ao contínuo do cálculo. É a área com maior densidade de aplicação direta em computação: praticamente tudo que um computador manipula é discreto.

Esta seção segue uma progressão: primeiro a linguagem (lógica e conjuntos), depois as ferramentas de contagem e prova (indução, recorrências, combinatória) e por fim as estruturas (grafos e árvores).

Por onde começar

Se você está começando do zero, siga na ordem: lógica proposicional, conjuntos, relações, funções, indução. Esses cinco formam a base sobre a qual todo o resto se apoia.

Quem já tem essa base pode ir direto a recorrências (para análise de algoritmos), combinatória (para contagem e probabilidade) ou grafos (para modelagem de redes e dependências).

Referências

1. Kenneth H. Rosen (2019). Discrete Mathematics and Its Applications. McGraw-Hill.
2. Ronald L. Graham; Donald E. Knuth; Oren Patashnik (1994). Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley.
3. Reinhard Diestel (2017). Graph Theory. Springer.