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. |