Dar aos alunos os conhecimentos básicos teóricos de matemática combinatória e Teoria dos Números e Lógica, habilitando-os a resolverem problemas da área de Ciências de Computação que fazem uso dessas teorias e técnicas.
Indução Matemática, Teoria dos Números e aplicações para computação, Lógica e Conjuntos.
Visão geral dos fundamentos de Matemática Discreta em Computação. Provas e Indução matemática. Teoria dos números: divisibilidade, primos, MDC e algoritmo de Euclides, congruências. Pequeno Teorema de Fermat, aplicações para a computação: algoritmo de criptografia RSA e geradores de números aleatórios. Lógica de predicados de primeira ordem. Conjuntos e funções. Tópicos adicionais de matemática discreta.
Livros Textos:COUTINHO, S.C., Números Inteiros e Criptografia RSA, segunda ed., Editora: Série de Computação e Matemática, IMPA, ISBN-10: 8524401249GRAHAM, R.L., KNUTH D.L., PATASHNIK, O., Concrete Mathematics: A Foundation for Computer Science ISBN-10: 0201558025ISBN-13: 978-02015580292.Bibliografia Complementar:KNUTH, D.E., The Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd Edition, Addison-Wesley, ISBN-10: 0201896842, ISBN-13: 978-02018968482.