| title |
|---|
Leites |
Uma coleção de materiais úteis que foram utilizados na disciplina em períodos passados.
| Prova | Reposição? | Links |
|---|---|---|
| 1º estágio | Não | Link |
| 2º estágio | Não | Link |
| Prova | Reposição? | Links |
|---|---|---|
| 1º estágio | Não | Link |
| Prova | Reposição? | Links |
|---|---|---|
| 2º estágio | Não | Link |
| 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 |