Dar aos alunos os conhecimentos básicos de Contagem e Combinatória, Relações, Teoria dos Números no contexto de Criptografia, Inferência e Prova, e Indução Matemática, habilitando-os a resolverem problemas da área de Ciências de Computação.
Contagem e Combinatória, Relações, Teoria dos Números no contexto de Criptografia, Inferência e Prova e Indução Matemática.
Contagem e combinatória: princípios de adição, princípios do produto, listas, fatorial, arranjo, permutações, combinações, com e sem repetição de elementos, subconjuntos e triângulo de Pascal; Relações: conceito, funções como relações, propriedades, equivalências, ordens parcial e total: e o problema da Arrumação da Estante; Teoria dos Números e Criptografia: chave secreta, sistemas de chave pública, criptografia usando aritmética de módulo n, máximo divisor comum, Teorema da Divisão de Euclides, algoritmo de Euclides, exponencial módulo n, e criptosistema RSA; Inferência e prova: regras de inferência, prova direta, prova por indução, prova por contradição, prova por construção e prova por absurdo; Indução Matemática: princípios, indução forte, visão recursiva, indução estrutural, recorrências e o Teorema Mestre.
STEIN, C; DRYSDALE, R; BOGART K. Matemática Discreta - para Ciência da Computação. 1ª edição, Pearson, 2015. GERSTING, J. L. Fundamentos Matemáticos para a Ciência de Computação: um tratamento moderno de matemática discreta. Editora LTC, 2017. MENEZES, P. B. Matemática Discreta para Computação e Informática. Editora Bookman, 2013.