117366 - Lógica Computacional 1 (Turma A)

Table of Contents

Quadro de avisos:

  • Plano de Ensino
  • Todos os emails enviados ao professor devem conter a expressão [LC1] no assunto da mensagem.
  • A bibliografia principal da disciplina pode ser encontrada no site da Springer ou na Amazon (Amazon BR).
    • Uma cópia do capítulo 1 para uso na disciplina está disponível na pasta 22 da copiadora localizada no térreo do final do ICC norte.
  • Uma longa noite aprendendo

Quadro de Notas

Matrícula Grupo Apresentação Relatório Nota Final Arquivos
130039870       0.00  
140080279       0.00  
140134573       0.00  
140136282       0.00  
140136371       0.00  
140139982       0.00  
140160299       0.00  
140166378       0.00  
140168915       0.00  
150005539       0.00  
150008023       0.00  
150009887       0.00  
150015747       0.00  
150019343       0.00  
150033699       0.00  
150038381       0.00  
150094213       0.00  
150118783       0.00  
150122322       0.00  
150131992       0.00  
150132662       0.00  
150144482       0.00  
150150296       0.00  
150158203       0.00  
160002575       0.00  
160003636       0.00  
160006490       0.00  
160006597       0.00  
160011795       0.00  
160015031       0.00  
160015537       0.00  
160038316       0.00  
160046424       0.00  
160047617       0.00  
160058376       0.00  
160071569       0.00  
160109990       0.00  
160119740       0.00  
160138043       0.00  
160148804       0.00  
160166179       0.00  
        0.00  
Matrícula Prova 1 Prova 2 Média das provas Projeto Faltas(*) Faltas (%) Nota Final Menção
130039870     0.00 0.00 1 3.45 0.00  
140080279     0.00 0.00 0 0.00 0.00  
140134573     0.00 0.00 0 0.00 0.00  
140136282     0.00 0.00 0 0.00 0.00  
140136371     0.00 0.00 1 3.45 0.00  
140139982     0.00 0.00 0 0.00 0.00  
140160299     0.00 0.00 0 0.00 0.00  
140166378     0.00 0.00 0 0.00 0.00  
140168915     0.00 0.00 0 0.00 0.00  
150005539     0.00 0.00 0 0.00 0.00  
150008023     0.00 0.00 0 0.00 0.00  
150009887     0.00 0.00 0 0.00 0.00  
150015747     0.00 0.00 0 0.00 0.00  
150019343     0.00 0.00 0 0.00 0.00  
150033699     0.00 0.00 0 0.00 0.00  
150038381     0.00 0.00 0 0.00 0.00  
150094213     0.00 0.00 0 0.00 0.00  
150118783     0.00 0.00 0 0.00 0.00  
150122322     0.00 0.00 0 0.00 0.00  
150131992     0.00 0.00 0 0.00 0.00  
150132662     0.00 0.00 0 0.00 0.00  
150144482     0.00 0.00 0 0.00 0.00  
150150296     0.00 0.00 0 0.00 0.00  
150158203     0.00 0.00 2 6.90 0.00  
160002575     0.00 0.00 0 0.00 0.00  
160003636     0.00 0.00 0 0.00 0.00  
160006490     0.00 0.00 0 0.00 0.00  
160006597     0.00 0.00 0 0.00 0.00  
160011795     0.00 0.00 0 0.00 0.00  
160015031     0.00 0.00 0 0.00 0.00  
160015537     0.00 0.00 0 0.00 0.00  
160038316     0.00 0.00 0 0.00 0.00  
160046424     0.00 0.00 0 0.00 0.00  
160047617     0.00 0.00 0 0.00 0.00  
160058376     0.00 0.00 0 0.00 0.00  
160071569     0.00 0.00 0 0.00 0.00  
160109990     0.00 0.00 0 0.00 0.00  
160119740     0.00 0.00 0 0.00 0.00  
160138043     0.00 0.00 0 0.00 0.00  
160148804     0.00 0.00 1 3.45 0.00  
160166179     0.00 0.00 0 0.00 0.00  
      0.00 0.00   0.00 0.00  

(*) Última atualização: [2017-08-15 Ter 12:32]

Calendário de aulas

  1. [2017-08-07 Seg] Motivação e Sintaxe da Lógica Proposicional ✓
    • Primeiras regras de dedução natural. Prove os seguintes sequentes:
      1. \(p \land (q \land r) \vdash (p \land q) \land r\)
      2. \(p \lor (q \lor r) \vdash (p \lor q) \lor r\)
      3. \(p \land (q \lor r) \vdash (p \land q) \lor (p \land r)\)
      4. \(p \lor (q \land r) \vdash (p \lor q) \land (p \lor r)\)
    • Utilize o ProofWeb para verificar suas provas.
  2. [2017-08-09 Qua] Indução estrutural ✓
    • Leitura complementar (com exercícios!): Indução
    • Exercícios sugeridos: Seção 1.3 (exercício 3).
    • Exercícios: Considere a estrutura de listas definida como a seguir: \[l ::= nil \mid cons(a,l)\]

      onde \(nil\) representa a lista vazia, e \(cons(a,l)\) representa a lista com primeiro elemento \(a\) e cauda \(l\). O comprimento de uma lista é definido recursivamente por:

      \[|l| = \left\{\begin{array}{ll} 0, & \mbox{ se } l = nil \\ 1 + |l'|, & \mbox{ se } l = cons(a,l') \end{array}\right.\]

      A concatenação de listas também pode ser definida por uma função recursiva:

      \[concat(l_1,l_2) = \left\{\begin{array}{ll} l_2, & \mbox{ se } l_1 = nil \\ cons(a, concat(l',l_2)), & \mbox{ se } l_1 = cons(a,l') \end{array}\right.\]

      • Prove que o comprimento do resultado de concatenar duas listas \(l_1\) e \(l_2\) é igual a soma dos comprimentos destas listas, i.e. \(|concat(l_1,l_2)| = |l_1| + |l_2|\).
      • Prove que \(concat(l,nil) = l\) para qualquer lista \(l\)
      • Prove que \(concat(concat(l_1,l_2),l_3) = concat(l_1,concat(l_2,l_3))\) para listas \(l_1,l_2,l_3\) quaisquer

      O reverso de listas é definido por: \[rev(l) = \left\{ \begin{array}{ll} l, & \mbox{ se } l = nil \\ concat(rev(l'), cons a nil), & \mbox{ se } l = cons(a,l') \end{array}\right.\]

      • Prove que \(length(rev(l)) = length(l)\), para qualquer lista l.
      • Prove que \(rev(concat(l_1,l_2)) = concat(rev(l_2), rev(l_1))\) para listas \(l_1, l_2\) quaisquer.
      • Prove que \(rev(rev(l)) = l\) para qualquer lista l.
  3. [2017-08-14 Seg] Lógica Proposicional Intuicionista ✓
    • Exercícios sugeridos: Seção 1.4 (exercícios 4, 5, 7, 8, 12, 13, 14 e 18).
  4. [2017-08-16 Qua] Lógica Proposicional Clássica
    • Exercícios sugeridos: Seção 1.4 (exercícios 6, 9, 10, 11, 15, 16 e 17).
  5. [2017-08-21 Seg]
  6. [2017-08-23 Qua]
  7. [2017-08-28 Seg]
  8. [2017-08-30 Qua]
  9. [2017-09-04 Seg]
  10. [2017-09-06 Qua]
  11. [2017-09-11 Seg]
  12. [2017-09-13 Qua]
  13. [2017-09-18 Seg]
  14. [2017-09-20 Qua] Prova 1

    [2017-09-25 Seg] ITP, TABLEAUX and FroCoS Conferences

    [2017-09-27 Qua] ITP, TABLEAUX and FroCoS Conferences

  15. [2017-10-02 Seg]
  16. [2017-10-04 Qua]
  17. [2017-10-09 Seg]
  18. [2017-10-11 Qua]
  19. [2017-10-16 Seg]
  20. [2017-10-18 Qua]

    [2017-10-23 Seg] Semana Universitária

    [2017-10-25 Qua] Semana Universitária

  21. [2017-10-30 Seg]
  22. [2017-11-01 Qua]
  23. [2017-11-06 Seg]
  24. [2017-11-08 Qua]
  25. [2017-11-13 Seg]

    [2017-11-15 Qua] Feriado

  26. [2017-11-20 Seg]
  27. [2017-11-22 Qua]
  28. [2017-11-27 Seg]
  29. [2017-11-29 Qua] Prova 2

Author: Prof. Flávio L. C. de Moura

Email: contato@flaviomoura.mat.br

Created: 2017-08-15 Ter 14:37

Validate