Expor o aluno com inclinação à matemática e a aspectos teóricos da ciência da computação a tópicos avançados da matemática discreta.