Matemática Discreta
Primeiro semestre/2008

• Plano de curso.
• Transparências:
  • Introdução.
  • Preliminares.
  • Princípio da casa de pombos.
  • Probabilidades.
  • Capítulo 1.
  • Capítulo 2.
  • Capítulo 3.
  • Capítulo 4.
  • Capítulo 5.
  • Capítulo 6.
  • Capítulo 7.
• Um livro de matemática discreta em português, de autoria de José Sousa Pinto, da Universidade de Aveiro, pode ser encontrado aqui (PDF, 871 kb).
• O capítulo 1 de meu livro sobre Fundamentos de Teoria da Computação aborda vários tópicos de matemática discreta.
• Veja um texto bom e conciso sobre demonstrações de teoremas. Ele foi baixado de http://www.math.dartmouth.edu/archive/m38s04/public_html/. Observe, particularmente, os itens 4 e 7 da seção 3!
• Veja algumas técnicas de prova que, na verdade, não provam nada...
• MONITORIA:
  • Monitor: Everthon Valadão
  • Horário de atendimento: 3a e 5a-feira de 10 às 11h e de 19 às 20h.
  • Local: sala 1030/ICEx.
• Listas de exercício:
  • Primeira Lista: Conjuntos, Relações, Funções, Prova de Teoremas, Indução Matemática. Entrega: até 24/03/2008. Adiada para o dia 31/03. (No dia 26/03 haverá discussão da lista em preparação para a primeira prova.)
    
  • Segunda Lista: Combinatória Elementar e Funções Geradoras. Entrega: 05/05/2008.
    
  • Terceira Lista:
    • Parte 1: Relações de Recorrência. Entrega: 28/05/2008. OBS: ao final das aulas de 12, 14 e 19/5 o professor irá responder perguntas sobre os exercícios dessa lista.
    • Parte 2: Princípio de inclusão e exclusão. Entrega: 28/05/2008. OBS: ao final das aulas de 21 e 26/5 o professor irá responder perguntas sobre os exercícios dessa lista.
    • Algumas soluções da parte 1 e da parte 2 para voce conferir.
  • Quarta Lista: Introdução à Teoria dos Grafos, Caminhamentos. Entrega: 23/06/2008.
• Provas:
  • Primeira Prova:
    • Data: 31/03.
    • Assunto: Fundamentos de matemática: conjuntos, relações, funções, prova de teoremas; indução matemática.
    • Veja a solução do professor.
  • Segunda Prova:
    • Data: 05/05.
    • Assunto: Combinatória Elementar e Funções Geradoras (até seção 3.4).
    • Veja a solução do professor.
  • Terceira Prova:
    • Data: 02/06.
    • Assunto: Relações de Recorrência e Princípio de Inclusão e Exclusão.
      Veja coleção de slides sobre Relações de Recorrência produzida pelo Prof. José Monteiro da Mata (a partir dos slides dele e dos meus, melhor que ambos!).
    • Veja a solução do professor.
  • Quarta Prova:
    • Data: 23/06.
    • Assunto: Introdução à Teoria dos Grafos (6.1 a 6.4), Caminhamentos (7.1 e 7.2).
    • Veja a solução do professor.
  • Exame especial (para alunos frequentes a 75% das aulas com conceito E):
    • Data: 10/07/2007 às 16h.
    • Local: sala 2008.
    • Assunto: toda a matéria.