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