DEC7121-01652 (20242) - Fundamentos Matemáticos para Computação

Lógica matemática. Indução finita. Conjuntos. Relações e funções. Contagem. Álgebra booleana. Recursão. Fundamentos de grafos.