Demonstração de Teoremas
Primeiro semestre/2006

• Plano de Curso (PS).
• Notas de aulas sobre Lógica Matemática (PS):
  1. Modelagem e Formalização
  2. Lógica Proposicional
  3. Lógica de Predicados
  4. Algumas transparências relativas ao livro do Velleman:
     
     • Introdução
     • Cap. 1
     • Cap. 2
     • Cap. 3a
     • Cap. 3b
     • Cap. 4a
     • Cap. 4b
     • Cap. 5
     • Cap. 6
• Veja um texto bom e conciso sobre demonstrações (em pdf).
• Veja algumas técnicas de prova muito utilizadas, que não provam nada...
• Listas de exercícios:
  • Sobre lógica proposicional
  • Cap. 2/Velleman: 2.1) 2, 3, 4; 2.2) 1, 2, 7, 9; 2.3) 1, 5, 8.
    Entrega: 04/04.
  • Cap. 3(.1-3)/Velleman: 3.1) 4, 7, 8, 10; 3.2) 2, 3, 5, 8; 3.3) 3, 10, 11, 16, 18.
  • Cap. 3(.4-6)/Velleman: 3.4) 5, 8, 11, 12, 15, 16; 3.5) 2, 5, 7, 10; 3.6) 1, 3, 5, 6.
  • Cap. 4(.1-4)/Velleman: 4.1) 5, 8, 9; 4.2) 6; 4.3) 8, 10; 4.4) 11, 12(a), 13.
  • Cap. 6(.1-4)/Velleman: 6.1) 7, 9; 6.2) 5, 6; 6.3) 5(a), 9; 6.4) 1, 5(b), 9.
    Entrega: 22/06.
• Teste a entregar até as 16:30h do dia 09/05/2006.
• Teste final a ser devolvido até 11:30h do dia 06/07/2006. Este teste valerá 20 pontos (em 100).
• Veja suas notas.