Informacoes basicas

  • Aulas: Seg/Qua 9-11, DEQM1/L532

  • 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: 20-Setembro
    • P2: 18-Outubro
    • P3: 29-Novembro
    • 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
Contagem Aula 8, Aula 9, Aula 10 (Aulas 11,12: exercicios e prova) Aula 13, Aula 14, Aula 15 Lista contagem
Solucoes parciais
Exercicios P1
Exercicios P1 (2)
Cap 2
Grafos Aula 16, Aula 17, Aula 18 Lista grafos
Solucoes parciais
Cap 3.1 e 3.3 (excluindo 3.3.1)
Material adicional P2 Lista contagem,
lista grafos,
lista extra grafos
Mais grafos Aula 20, Aula 21, Aula 22, Aula 23, Aula 24, Aula 25, Aula 26, Aula 27 Cap 3
Material adicional P3 lista grafos,
lista extra grafos