Ementa/Descrição: |
Fundamentação matemática de estruturas e conceitos básicos à Ciência da Computação, como: conjuntos, funções, anéis, grafos, fatoração, criptografia, reticulados. Desenvolvimento formal para a manipulação de tais conceitos, em provas e demonstrações, e para a aplicação de tais habilidades na forma de algoritmos, na resolução de problemas. |