Topico | Slides | Lista exercicios | Apostila | |
---|---|---|---|---|
Conceitos basicos de logica | Intro, Aula 1 (anotacoes) | Cap 1.1, 1.2 | ||
Tipos de provas | Aula 2 (anotacoes), Aula 3 (anotacoes), Aula 4 (anotacoes) | Cap 1.3 | ||
Inducao | Aula 5 (anotacoes), Aula 6 (anotacoes), Aula 7 (anotacoes) | Lista inducao Solucoes parciais |
Cap 1.4 | |
Exercicios P1 (anotacoes) | ||||
Grafos | Grafos 1 (anotacoes), Grafos 2 (anotacoes), Grafos 3 (anotacoes), Grafos 4 (anotacoes) (desenho AGM) | Lista grafos Solucoes parciais |
Cap 3.1 e 3.3 (excluindo 3.1.2, 3.1.3) | |
Exercicios P2 Solucoes parciais |
||||
Mais grafos | - Trajetos Eulerianos (anotacoes) (aplicacao DNA pag 132) - Grafos direcionados e Ord Top (anotacoes) - Caminho mais curto (anotacoes) - Emparelhamento (anotacoes) - Coloracao (anotacoes) |
Cap 3 | ||
Material adicional P3 | Exercicios P3 |