4. Matemática discreta que sustenta programas
Conjuntos, lógica, funções e relações aparecem em bancos de dados, algoritmos, linguagens e segurança. Você monta argumentos simples e reconhece quando uma afirmação computacional é verdadeira, falsa ou incompleta.