Apresentar conceitos, métodos e técnicas da Matemática Discreta e usá-los como ferramentas para modelar e resolver, de modo formal, problemas de computação matemática.