Informacoes basicas

  • Aulas: Seg/Qua 9-11, L274

  • Material principal:
    • Apostila
    • Slides das aulas, listas de exercicios (abaixo)

  • Bibliografia complementar
    • Manual de Indução Matemática. Lopes (topico de inducao)
    • Análise Combinatória e Probabilidade. Morgado, de Carvalho, Carvalho, Fernandez (topico de contagem)
    • Introduction to Graph Theory. West (topico de grafos)
    • Discrete Mathematics and its Applications. Rosen (Cap 3, 4, 6, e 8)

  • Data das provas
    • P1: 18-Setembro
    • P2: 23-Outubro
    • P3: 2-Dezembro
    • Prova final: 11-Dezembro

  • Criterio de avaliacao: Categoria 4
    • G1,G2 e G3 com mesmo peso, com prova final (G4)
    • Se G1,G2 e G3 forem maior ou igual a 3,0 e a media maior ou igual a 5,0, entao: NF = G1 + G2 + G3/3
    • Caso contrario, o aluno faz a G4
      • se G4 maior ou igual a 3,0, entao: NF = (Gm + Gn + G4)/3, aonde Gm e Gn sao as maiores notas de G1, G2 e G3
      • se G4 menor que 3, entao: NF = (G1 + G2 + G3 + G4 * 3)/6


Provas anteriores

Provas anteriores


Topicos em ordem cronologica (sujeito a atualizacoes)


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