Demonstração de Teoremas
Primeiro semestre/2010

• Plano de Curso.
• Alguns trechos de notas de aulas sobre Lógica Matemática:
  • Modelagem e Formalização, Lógica Proposicional
  • Consequência lógica e dedução em lógica proposicional
  • Lógica de Predicados de Primeira Ordem
• Slides relativos a Lógica Matemática:
  
  • Modelagem e Formalização
  • Lógica Proposicional
  • Lógica de Predicados
• Slides relativos ao livro do Velleman:
  • Da Introdução até o capítulo 5.
• Um texto bom e conciso sobre demonstrações.
• Um texto para quem tem dúvidas sobre como e porque citar as fontes consultadas.
• Listas de exercícios:
  • Lógica proposicional/apostila: 2.2) 1, 3; 2.3.1) 1, 2, 3, 4; 2.3.2) 1, 2, 3; 2.3.4) 1; 2.3.5) 1, 2, 3; 2.4) 1, 2, 3; 2.5.1) 1. Entrega: 23/03.
  • Lógica de predicados/apostila: 3.2) 1; 3.3) 1, 2; 3.4) 1; 3.5) 1. Entrega: 30/03.
  • Cap. 2/Velleman (2a edição), entrega em 13/04:
    • 2.1) 3, 5, 6;
    • 2.2) 2, 3, 7, 10, 12;
    • 2.3) 2, 6, 9, 12.
  • Cap. 3(.1-3)/Velleman (2a edição), entrega em 22/04:
    • 3.1) 8, 10, 12, 15;
    • 3.2) 3, 4, 6, 9, 12, 17;
    • 3.3) 4, 13, 15, 20, 21, 23.
  • Cap. 3(.4-6)/Velleman (2a edição), entrega em 06/05:
    • 3.4) 5, 8, 13, 14, 18, 20, 24;
    • 3.5) 5, 9, 13, 17, 24, 27;
    • 3.6) 2, 5, 7, 10, 12.
  • Cap. 4(.1-4)/Velleman (2a edição), entrega em 08/06:
    • 4.1) 3, 10, 11;
    • 4.2) 5, 9;
    • 4.3) 9, 22.
    • 4.4) 13, 15(a), 22.
  • Cap. 6(.1-4)/Velleman(2a edição), entrega em 01/07:
    • 6.1) 5, 11, 18;
    • 6.2) 11, 12, 15;
    • 6.3) 5, 16, 19(a);
    • 6.4) 4, 7(a), 11, 19.
      
• Provas:
  • Primeira prova:
    • Data: 13/05/2010.
    • Assunto: até capítulo 3 do Velleman.
    • Veja a solução do professor.
  • Segunda prova:
    • Data: 01/07/2010.
    • Assunto: capítulos 4 e 6 do Velleman.
    • Veja a solução do professor.
• Veja suas notas.