Topico | Slides | Lista exercicios | Apostila | |
---|---|---|---|---|
Conceitos basicos de logica | Intro, Aula 1 | Cap 1.1, 1.2 | ||
Tipos de provas | Aula 2, Aula 3 | Cap 1.3 | ||
Inducao | Aula 3, Aula 4, Aula 5, Aula 6, Aula 7 | Lista inducao Solucoes parciais |
Cap 1.4 | |
Exercicios P1 | ||||
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 | ||
Contagem | Contagem 1, Contagem 2 | Lista contagem Solucoes parciais Exercicios P3 |
Cap 2 |