Matemática Discreta - uma caixa de ferramentas. J. Félix Costa e P. Gouveia, Departamento de Matemática, IST, 2016