117366 - Lógica Computacional 1

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.
  • Uma cópia da bibliografia principal da disciplina pode ser encontrada na copiadora que fica no final da ala norte do ICC (pasta 22)
  • [2018-08-13 seg 17:52]: Leitura sobre indução matemática: pdf
  • [2018-08-29 qua 18:44]: Monitoria de LC1: Todas as segundas e quartas de 18h às 19h, iniciando em [2018-09-03 seg].
    • Local: PAT AT 021.
  • [2018-08-30 qui 09:34]: Primeira lista de exercícios (pdf)
    • Gabarito: pdf
  • [2018-09-05 qua 15:44]: Cancelada a monitoria de hoje!
  • [2018-09-19 qua 20:35]: Gabarito da prova 1 (pdf)

Quadro de Notas:

  Matrícula Grupo Apresentação Relatório Nota Final
1 11/0027931       0.00
2 12/0151898       0.00
3 13/0126420       0.00
4 15/0007094       0.00
5 15/0126298       0.00
6 15/0126760       0.00
7 15/0080123       0.00
8 15/0140801       0.00
9 15/0143401       0.00
10 15/0145527       0.00
11 15/0023502       0.00
12 16/0116821       0.00
13 16/0005116       0.00
14 16/0117844       0.00
15 16/0117925       0.00
16 16/0027136       0.00
17 16/0070431       0.00
18 16/0007607       0.00
19 16/0128331       0.00
20 16/0052289       0.00
21 16/0014522       0.00
22 16/0146682       0.00
23 17/0057950       0.00
24 17/0033813       0.00
25 17/0069303       0.00
26 17/0079538       0.00
27 17/0012280       0.00
28 17/0013731       0.00
29 17/0038963       0.00
30 17/0060543       0.00
31 17/0061001       0.00
32 17/0040631       0.00
33 17/0018997       0.00
34 17/0144534        
35 17/0152235       0.00
36 17/0153304       0.00
37 17/0112624       0.00
38 17/0153959       0.00
39 17/0163768       0.00
40 17/0043665       0.00
41 17/0157849       0.00
42 17/0157962       0.00
43 17/0023664       0.00
44 17/0024385       0.00
45 18/0052667       0.00
46 18/0048864       0.00
          0.00
  Matrícula Prova 1 Prova 2 Projeto Faltas(*) Faltas (%) Nota Final Menção
1 11/0027931     0.00 1 3.33 0.00  
2 12/0151898     0.00 4 13.33 0.00  
3 13/0126420     0.00 3 10.00 0.00  
4 15/0007094     0.00 2 6.67 0.00  
5 15/0126298     0.00   0.00 0.00  
6 15/0126760     0.00 1 3.33 0.00  
7 15/0080123     0.00 7 23.33 0.00  
8 15/0140801     0.00 1 3.33 0.00  
9 15/0143401     0.00 2 6.67 0.00  
10 15/0145527     0.00 1 3.33 0.00  
11 15/0023502     0.00 3 10.00 0.00  
12 16/0116821     0.00 2 6.67 0.00  
13 16/0005116     0.00   0.00 0.00  
14 16/0117844     0.00 11 36.67 0.00 SR
15 16/0117925     0.00 1 3.33 0.00  
16 16/0027136     0.00 1 3.33 0.00  
17 16/0070431     0.00 1 3.33 0.00  
18 16/0007607     0.00   0.00 0.00  
19 16/0128331     0.00 1 3.33 0.00  
20 16/0052289     0.00 1 3.33 0.00  
21 16/0014522     0.00 3 10.00 0.00  
22 16/0146682     0.00   0.00 0.00  
23 17/0057950     0.00 2 6.67 0.00  
24 17/0033813     0.00 1 3.33 0.00  
25 17/0069303     0.00 1 3.33 0.00  
26 17/0079538     0.00   0.00 0.00  
27 17/0012280     0.00   0.00 0.00  
28 17/0013731     0.00   0.00 0.00  
29 17/0038963     0.00 1 3.33 0.00  
30 17/0060543     0.00   0.00 0.00  
31 17/0061001     0.00   0.00 0.00  
32 17/0040631     0.00   0.00 0.00  
33 17/0018997     0.00 1 3.33 0.00  
34 17/0144534     0.00   0.00 0.00  
35 17/0152235     0.00 1 3.33 0.00  
36 17/0153304     0.00   0.00 0.00 TR
37 17/0112624     0.00   0.00 0.00  
38 17/0153959     0.00   0.00 0.00  
39 17/0163768     0.00   0.00 0.00  
40 17/0043665     0.00   0.00 0.00  
41 17/0157849     0.00 1 3.33 0.00  
42 17/0157962     0.00   0.00 0.00  
43 17/0023664     0.00 1 3.33 0.00  
44 17/0024385     0.00   0.00 0.00  
45 18/0052667     0.00   0.00 0.00  
46 18/0048864     0.00   0.00 0.00  

(*) Última atualização: [2018-09-17 seg 18:04]

Calendário de aulas:

  1. [2018-08-13 seg] Introdução e Motivação
    1. Leitura sugerida sobre indução matemática: pdf
    2. Instale o PVS (versão 6.0) no seu computador pessoal
  2. [2018-08-15 qua] Indução estrutural
    1. Aula no LINF 1
    2. Capítulo 1 (seções 1.1, 1.2 e 1.3), AM17
    3. Exercícios: Considere a estrutura de listas definida como a seguir: \[l ::= [] \mid a::l\]

      onde \([]\) representa a lista vazia, e \(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 = [] \\ 1 + |l'|, & \mbox{ se } l = a::l' \end{array}\right.\]

      A concatenação de listas também pode ser definida por uma função recursiva: \[l_1\circ l_2 = \left\{\begin{array}{ll} l_2, & \mbox{ se } l_1 = [] \\ a::(l' \circ l_2), & \mbox{ se } l_1 = a::l' \end{array}\right.\]

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

      1. Prove que \(|l_1 \circ l_2| = |l_1| + |l_2|\), quaisquer que sejam as listas \(l_1, l_2\).
      2. Prove que \(l \circ [] = l\), qualquer que seja a lista l.
      3. Prove que a concatenação de listas é associativa, isto é, \((l_1 \circ l_2)\circ l_3) = l_1 \circ (l_2 \circ l_3)\) quaisquer que sejam as listas \(l_1, l_2\) e \(l_3\).
      4. Prove que \(|rev(l)| = |l|\), qualquer que seja a lista l.
      5. Prove que \(rev(l_1 \circ l_2) = (rev(l_2))\circ (rev(l_1))\), quaisquer que sejam as listas \(l_1, l_2\).
      6. Prove que \(rev(rev(l)) = l\), qualquer que seja a lista l.
    4. Arquivos PVS: exercicio1.pvs exercicio2.pvs
  3. [2018-08-20 seg] Lógica Proposicional Intuicionista (LPI)
    1. Capítulo 1 (seção 1.4), AM17
      1. Exercícios: 4, 5, 7, 8, 12, 13, 14
  4. [2018-08-22 qua] Lógica Proposicional Clássica (LPC)
    1. Aula no Pavilhão (PJC BT 101)
    2. Capítulo 1 (seção 1.4), AM17
      1. Exercícios: 6, 9, 10, 11, 15, 16, 17, 18
  5. [2018-08-27 seg] Exercícios em Dedução Natural (DN)
  6. [2018-08-29 qua] Semântica da LPC
    1. Aula no LINF 1
    2. Primeira lista de exercícios (pdf)
  7. [2018-09-03 seg] Correção da LPC
    1. Capítulo 1 (seção 1.6.1), AM17
  8. [2018-09-05 qua] Completude da LPC
    1. Aula no Pavilhão (PJC BT 101)
    2. Cancelada a monitoria de hoje!
    3. Capítulo 1 (seção 1.6.2), AM17
    4. Sugestão: Fazer todos os exercícios do Capítulo 1, e da lista 1.
  9. [2018-09-10 seg] Completude da LPC
    1. Lema 3 da seção 1.6.2, AM17
  10. [2018-09-12 qua] Exercícios de derivação
    1. Gabarito da lista 1: pdf
  11. [2018-09-17 seg] Exercícios de derivação
  12. [2018-09-19 qua] Prova 1

    1. Gabarito da prova 1 (pdf)

    [2018-09-24 seg] Semana Universitária

    [2018-09-26 qua] Semana Universitária

  13. [2018-10-01 seg] Lógica de Predicados (LP) em DN
  14. [2018-10-03 qua] Correção da LP
  15. [2018-10-08 seg] Exercícios em DN
  16. [2018-10-10 qua] LP em CS
  17. [2018-10-15 seg] Exercícios em CS
  18. [2018-10-17 qua] Exercícios em DN e CS
  19. [2018-10-22 seg] Exercícios em DN e CS
  20. [2018-10-24 qua] CS versus DN
  21. [2018-10-29 seg] CS versus DN
  22. [2018-10-31 qua] CS versus DN
  23. [2018-11-05 seg] Apresentação do Projeto
  24. [2018-11-07 qua] Apresentação do Projeto
  25. [2018-11-12 seg] Completude da LP
  26. [2018-11-14 qua] Completude da LP
  27. [2018-11-19 seg] Indecidibilidade da LP
  28. [2018-11-21 qua] Indecidibilidade da LP
  29. [2018-11-26 seg] Exercícios em DN e CS
  30. [2018-11-28 qua] Prova 2

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

Email: contato@flaviomoura.mat.br

Created: 2018-09-19 qua 20:36