Topico | Slides | Lista exercicios | Apostila | |
---|---|---|---|---|
Conceitos basicos de logica | Intro, Aula 1 (anotacoes1), | Cap 1.1, 1.2 | ||
Tipos de provas | Aula 2 (anotacoes) (desenho prova), Aula 3 (anotacoes), Aula 4 (anotacoes) (figura) | Cap 1.3 | ||
Inducao | Aula 5 (anotacoes), Aula: Mais inducao forte (anotacoes), Aula 6 (anotacoes), Aula 7 (anotacoes) | Lista inducao Solucoes parciais |
Cap 1.4 | |
Exercicios P1 (anotacoes) | ||||
Inducao | Cap 1.4 | |||
Grafos | Grafos 1 (anotacoes) (anotacoes), Grafos 2 , Grafos 3 , Grafos 4 | 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) |
Cap 3 | ||
Exercicios P2 (anotacoes) | ||||
Mais grafos | - Grafos direcionados e Ord Top (anotacoes) - Caminho mais curto (anotacoes) - Emparelhamento (anotacoes) - Coloracao (anotacoes) |
Cap 3 | ||
Exercicios P3 (anotacoes) |