Lógica Computacional 1
2021-1

Table of Contents

Plano de ensino

Cronograma de aulas


Aula 01 (síncrona) - Introdução e motivação ✓

<2021-07-19 Seg 19:00>–<2021-07-19 Seg 20:30>

Material da aula:

Aula 02 (assíncrona) - Introdução à Lógica Proposicional Clássica (LPC) ✓

<2021-07-21 Qua>

Material da aula:

Aula 03 (assíncrona) - Dedução Natural (DN) na LPC

<2021-07-26 Seg>

Material da aula:

  • Leituras: pdf, pdf
  • Lista de exercícios: pdf

Aula 04 (assíncrona) - A Lógica Proposicional Intuicionista (LPI)

<2021-07-28 Qua>

Aula 05 (assíncrona) - A correção e completude da LPC

<2021-08-02 Seg>

Aula 06 (síncrona) - Discussão de dúvidas

<2021-08-04 Qua 19:00>–<2021-08-04 Qua 20:30>

Aula 07 (assíncrona) - Introdução à Lógica de Primeira Ordem (LPO)

<2021-08-09 Seg>

Aula 08 (síncrona) - Apresentação do projeto

<2021-08-11 Qua 19:00>–<2021-08-11 Qua 20:30>

Aula 09 (assíncrona) - A correção de algoritmos (ordenação por inserção)

<2021-08-16 Seg>

Aula 10 (síncrona) - Discussão de dúvidas

<2021-08-18 Qua 19:00>–<2021-08-18 Qua 20:30>

Aula 11 (assíncrona) - A correção de algoritmos (mergesort)

<2021-08-23 Seg>

Aula 12 (síncrona) - Discussão de dúvidas

<2021-08-25 Qua 19:00>–<2021-08-25 Qua 20:30>

Aula 13 (assíncrona) - Mais sobre correção de algoritmos

<2021-08-30 Seg>

Aula 14 (síncrona) - Discussão de dúvidas

<2021-09-01 Qua 19:00>–<2021-09-01 Qua 20:30>

Aula 15 (assíncrona) - Mais sobre correção de algoritmos

<2021-09-06 Seg>

Aula 16 (síncrona) - Discussão de dúvidas

<2021-09-08 Qua 19:00>–<2021-09-08 Qua 20:30>

Aula 17 (assíncrona) - A semântica da LPO

<2021-09-13 Seg>

Aula 18 (síncrona) - Discussão de dúvidas

<2021-09-15 Qua 19:00>–<2021-09-15 Qua 20:30>

Aula 19 (assíncrona) - A correção da LPO

<2021-09-20 Seg>

Aula 20 (síncrona) - Discussão de dúvidas

<2021-09-22 Qua 19:00>–<2021-09-22 Qua 20:30>

Semana Universitária

<2021-09-27 Seg>

Semana Universitária

<2021-09-29 Qua>

Aula 21 (assíncrona) - A completude da LPO

<2021-10-04 Seg>

Aula 22 (síncrona) - Discussão de dúvidas

<2021-10-06 Qua 19:00>–<2021-10-06 Qua 20:30>

Aula 23 (assíncrona) - A completude da LPO

<2021-10-11 Seg>

Aula 24 (síncrona) - Discussão de dúvidas

<2021-10-13 Qua 19:00>–<2021-10-13 Qua 20:30>

Aula 25 (assíncrona) - A completude da LPO

<2021-10-18 Seg>

Aula 26 (assíncrona) - A indecidibilidade da LPO

<2021-10-20 Qua>

Aula 27 (assíncrona) - A indecidibilidade da LPO

<2021-10-25 Seg>

Aula 28 (síncrona) - Discussão de dúvidas (fechamento do curso)

<2021-10-27 Qua 19:00>–<2021-10-27 Qua 20:30>

Quadro de frequência

  Matrícula 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 Faltas Faltas (%)
1 150088264 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
2 160116821 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
3 160144884 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
4 170007561 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
5 170140636 x   x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
6 170144631 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
7 180024892 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
8 180046799 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
9 180098845     x x x x x x x x x x x x x x x x x x x x x x x x x x 2 7.1
10 180111515 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
11 180114913 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
12 180121065   x x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
13 180123394 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
14 180132041 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
15 180140540 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
16 190011114 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
17 190015756 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
18 190024666 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
19 190028149 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
20 190035072 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
21 190035145   x x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
22 190084006 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
23 190084502 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
24 190085312 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
25 190087498 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
26 190094087 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
27 190094591 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
28 190096063 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
29 190099160 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
30 190100168 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
31 190102829 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
32 190108266 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
33 190112379 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
34 190116358 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
35 190125616 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
36 190126892 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
37 190131497 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
38 200016750 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
39 200016784 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
40 200017969 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
41 200022610 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
42 200022873 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
43 200023624 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
44 200028545 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
45 200040987 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
46 200042548 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
47 200042572 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
48 200043404 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
49 200043722 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
50 200044486 x   x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
51 200056620 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
52 200057812 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0
53 200067184   x x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
54 202033525   x x x x x x x x x x x x x x x x x x x x x x x x x x x 1 3.6
55 202062367 x x x x x x x x x x x x x x x x x x x x x x x x x x x x 0 0.0

Quadro de Notas:

  Matrícula at01 () Total (70)
1 150088264   0.0
2 160116821   0.0
3 160144884   0.0
4 170007561   0.0
5 170140636   0.0
6 170144631   0.0
7 180024892   0.0
8 180046799   0.0
9 180098845   0.0
10 180111515   0.0
11 180114913   0.0
12 180121065   0.0
13 180123394   0.0
14 180132041   0.0
15 180140540   0.0
16 190011114   0.0
17 190015756   0.0
18 190024666   0.0
19 190028149   0.0
20 190035072   0.0
21 190035145   0.0
22 190084006   0.0
23 190084502   0.0
24 190085312   0.0
25 190087498   0.0
26 190094087   0.0
27 190094591   0.0
28 190096063   0.0
29 190099160   0.0
30 190100168   0.0
31 190102829   0.0
32 190108266   0.0
33 190112379   0.0
34 190116358   0.0
35 190125616   0.0
36 190126892   0.0
37 190131497   0.0
38 200016750   0.0
39 200016784   0.0
40 200017969   0.0
41 200022610   0.0
42 200022873   0.0
43 200023624   0.0
44 200028545   0.0
45 200040987   0.0
46 200042548   0.0
47 200042572   0.0
48 200043404   0.0
49 200043722   0.0
50 200044486   0.0
51 200056620   0.0
52 200057812   0.0
53 200067184   0.0
54 202033525   0.0
55 202062367   0.0

Author: Flávio L. C. de Moura

Last modified: 2021-07-26 Seg 13:30