| Topico | Slides | Lista exercicios | Apostila | |
|---|---|---|---|---|
| Conceitos basicos de logica | Intro, Aula 1 | Cap 1.1, 1.2 | ||
| Tipos de provas | Aula 2, Aula 3, Aula 4 | Cap 1.3 | ||
| Inducao | Aula 5, Aula 6, Aula 7 | Lista inducao Solucoes parciais |
Cap 1.4 | |
| Exercicios P1 (versão extendida, não vale nota) | ||||
| Grafos | Grafos 1, Grafos 2, Grafos 3, Grafos 4, Grafos 5, Grafos 6, Grafos 7 | Lista grafos Solucoes parciais |
Cap 3.1 e 3.3 (excluindo 3.1.2, 3.1.3) | |
| Exercicios P2 Exercicios P2 (2) Solucoes parciais |
||||
| Mais grafos | Emparelhamento, Coloracao (algumas anotacoes), Fluxo, Fluxo 2 (anotacoes), Fluxo 3 | Cap 3 | ||
| Material adicional P3 | Exercicios P3 |