117366 - Lógica Computacional 1 (Turma A)

Table of Contents

Quadro de avisos:

  • Plano de Ensino
  • Uma longa noite aprendendo
  • 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.
  • [2017-08-24 Qui 14:45]: Primeira lista de exercícios (pdf) (gabarito: pdf)
  • [2017-09-04 Seg 17:57]: Aulas de revisão
    • Estagiário de docência: Thiago Mendonça
    • Local: PJC BT 101
    • Dias: 11, 13 e 18 de setembro/2017
    • Horário: 18h - 19h.
  • [2017-09-18 Seg 17:51]: Gabarito da primeira lista de exercícios (pdf)
  • [2017-09-20 Qua 18:11]: Gabarito da primeira prova (pdf)
  • [2017-10-04 Qua 14:02]: As aulas das quartas-feiras serão realizadas no LINF 4
  • [2017-10-04 Qua 15:26]: Revisão da prova 1: <2017-10-16 Seg 17:00>–<2017-10-16 Seg 18:00> na sala 3 (CIC/EST)
  • [2017-10-10 Ter 10:20]: Projeto do curso

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  
140170961       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  
160048036       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 2.0   0.86 0.00 3 10.34 0.60  
140080279 7.0   3.00 0.00 3 10.34 2.10  
140134573 6.0   2.57 0.00 1 3.45 1.80  
140136282 4.0   1.71 0.00 3 10.34 1.20  
140136371 5.0   1.71 0.00 1 3.45 1.20  
140160299 10.0   4.29 0.00 0 0.00 3.00  
140166378 1.0   0.43 0.00 2 6.90 0.30  
140168915 6.0   1.93 0.00 0 0.00 1.35  
140170961 10.0   4.29 0.00 1 3.45 3.00  
150005539 6.0   2.57 0.00 3 10.34 1.80  
150008023 7.0   3.00 0.00 0 0.00 2.10  
150009887 8.0   3.43 0.00 1 3.45 2.40  
150015747 10.0   4.29 0.00 0 0.00 3.00  
150019343 8.5   3.64 0.00 1 3.45 2.55  
150033699 4.5   1.93 0.00 3 10.34 1.35  
150038381 6.0   2.57 0.00 2 6.90 1.80  
150094213 5.0   2.14 0.00 4 13.79 1.50  
150118783 7.0   3.00 0.00 1 3.45 2.10  
150122322 0.0   0.00 0.00 4 13.79 0.00  
150131992 10.0   4.29 0.00 1 3.45 3.00  
150132662 2.0   0.86 0.00 0 0.00 0.60  
150144482 0.0   0.00 0.00 0 0.00 0.00  
150150296 4.5   1.93 0.00 0 0.00 1.35  
160002575 9.0   3.86 0.00 2 6.90 2.70  
160003636 10.0   4.29 0.00 0 0.00 3.00  
160006490 10.0   4.29 0.00 0 0.00 3.00  
160006597 8.5   3.64 0.00 0 0.00 2.55  
160011795 10.0   4.29 0.00 0 0.00 3.00  
160015031 2.5   1.07 0.00 2 6.90 0.75  
160015537 10.0   4.29 0.00 1 3.45 3.00  
160038316 4.0   1.71 0.00 0 0.00 1.20  
160046424 7.5   3.21 0.00 0 0.00 2.25  
160047617 10.0   4.29 0.00 3 10.34 3.00  
160048036     0.00 0.00 4 13.79 0.00 TR
160058376 9.0   3.86 0.00 3 10.34 2.70  
160071569 10.0   4.29 0.00 1 3.45 3.00  
160109990 0.0   0.00 0.00 2 6.90 0.00  
160119740     0.00 0.00 1 3.45 0.00 TR
160138043 1.0   0.43 0.00 3 10.34 0.30  
160148804 0.0   0.00 0.00 3 10.34 0.00  
160166179     0.00 0.00 6 20.69 0.00 TR
      0.00 0.00   0.00 0.00  

(*) Última atualização: [2017-10-10 Ter 10:36]

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] Exercícios em Dedução Natural (DN) ✓
  6. [2017-08-23 Qua] Cálculo de sequentes ✓
  7. [2017-08-28 Seg] Exercícios em Cálculo de sequentes ✓
  8. [2017-08-30 Qua] Correção da Lógica Proposicional Clássica ✓
  9. [2017-09-04 Seg] Completude da Lógica Proposicional Clássica ✓
  10. [2017-09-06 Qua] Completude da Lógica Proposicional Clássica ✓
  11. [2017-09-11 Seg] Exercícios em Dedução Natural ✓
  12. [2017-09-13 Qua] Exercícios em Cálculo de Gentzen ✓
  13. [2017-09-18 Seg] Exercícios ✓
    • Gabarito da lista 1: (pdf)
  14. [2017-09-20 Qua] Prova 1 (Gabarito: pdf) ✓

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

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

  15. [2017-10-02 Seg] Lógica de Predicados (LP) ✓
    • Exercícios sugeridos: Seções 2.2 e 2.3
  16. [2017-10-04 Qua] Introdução ao PVS ✓
    • Local: LINF 4
    • Arquivo: pvs
  17. [2017-10-09 Seg] Cálculo de sequentes na LP ✓
  18. [2017-10-11 Qua] Projeto: Ordenação por inserção binária ✓
    • Local: LINF 4
  19. [2017-10-16 Seg] Equivalência entre o Cálculo de Sequentes (CS) e Dedução Natural (DN) ✓
  20. [2017-10-18 Qua] Projeto: Ordenação por inserção binária

    • Local: LINF 4
    • Para que o PVS possa utilizar a nasalib é necessário fazer o seguinte em um terminal:

      export PATH=$PVS_DIR:$PATH

      export PVS_LIBRARY_PATH=$PVS_DIR/nasalib

    [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-10-18 Qua 09:37

Validate