Habilidades de Demonstração para Matemática Discreta na Ciência da Computação