Disciplinas
Leites
Uma coleção de materiais úteis que foram utilizados na disciplina em períodos passados.
Provas
2021.2
| Prova | Reposição? | Links |
|---|---|---|
| 2º estágio | Não | Link |
Listas de Exercícios
2018.1
| Lista | Assunto | Links |
|---|---|---|
| 1 | Lógica Proposicional | Link |
| 2 | Formas Normais | Link |
| 3 | Solvers | Link |
| 4 | Lógica de Predicados | Link |
| 5 | Verificação de Programas | Link |