Topico | Slides | Lista exercicios | Apostila | |
---|---|---|---|---|
Conceitos basicos de logica | Intro, Aula 1 (anotacoes1), (anotacoes2) | 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: Mais inducao forte (anotacoes), Aula 6 (anotacoes) | Lista inducao Solucoes parciais |
Cap 1.4 | |
Exercicios P1 (anotacoes) | ||||
Inducao | Aula 7 (anotacoes) | Cap 1.4 | ||
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) | |
Mais grafos | - Trajetos Eulerianos (anotacoes) (aplicacao DNA pag 132) - Grafos direcionados e Ord Top (anotacoes) |
Cap 3 | ||
Exercicios P2 (anotacoes) | ||||
Mais grafos | - Caminho mais curto - Emparelhamento - Coloracao |
Cap 3 | ||
Exercicios P3 |