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 Mon 19:00>–<2021-07-19 Mon 20:30>

Material da aula:

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

<2021-07-21 Wed>

Material da aula:

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

<2021-07-26 Mon>

Material da aula:

Aula 04 (assíncrona) - Regras derivadas para Dedução Natural na LPC ✓

<2021-07-28 Wed>

Material da aula:

Aula 05 (assíncrona) - Indução Estrutural ✓

<2021-08-02 Mon>

Material da aula:

Aula 06 (síncrona) - A correção e completude da LPC e Discussão de dúvidas ✓

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

Material da aula:

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

<2021-08-09 Mon>

Material da aula:

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

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

Material da aula:

Aula 09 (assíncrona) - DN na LPO ✓

<2021-08-16 Mon>

Material da aula:

Aula 10 (síncrona) - A correção de algoritmos e discussão de dúvidas ✓

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

Material da aula:

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

<2021-08-23 Mon>

Material da aula:

  • Vídeo: Youtube. Vídeo com solução da atividade da aula 10, e orientações para a atividade de hoje.

Aula 12 (síncrona) - A correção de algoritmos (continuação) e discussão de dúvidas ✓

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

Material da aula:

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

<2021-08-30 Mon>

Material da aula:

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

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

Material da aula:

Aula 15 (assíncrona) - Exercícios em DN ✓

<2021-09-06 Mon>

Material da aula:

Aula 16 (síncrona) - Mais sobre correção de algoritmos e discussão de dúvidas ✓

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

Aula 17 (assíncrona) - Exercícios em DN ✓

<2021-09-13 Mon>

Material da aula:

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

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

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

<2021-09-20 Mon>

Material da aula:

Aula 20 (síncrona) - A correção da LPO e discussão de dúvidas

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

Material da aula:

Semana Universitária

<2021-09-27 Mon>

Semana Universitária

<2021-09-29 Wed>

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

<2021-10-04 Mon>

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

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

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

<2021-10-11 Mon>

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

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

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

<2021-10-18 Mon>

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

<2021-10-20 Wed>

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

<2021-10-25 Mon>

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

<2021-10-27 Wed 19:00>–<2021-10-27 Wed 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 5 17.9
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 1 3.6
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 170140636 x             x x x x x x x x x x x x x x x x x x x x x 6 21.4
5 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
6 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
7 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
8 180057570             x x x x x x x x x x x x x x x x x x x x x x 6 21.4
9 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
10 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
11 180121065   x           x x x x x x x x x x x x x x x x x x x x x 6 21.4
12 180123394 x x           x x x x x x x x x x x x x x x x x x x x x 5 17.9
13 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
14 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 4 14.3
15 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
16 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
17 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 2 7.1
18 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 1 3.6
19 190035145   x           x x x x x x x x x x x x x x x x x x x x x 6 21.4
20 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
21 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
22 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 1 3.6
23 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
24 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
25 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
26 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
27 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
28 190100168 x x           x x x x x x x x x x x x x x x x x x x x x 5 17.9
29 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 1 3.6
30 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
31 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 3 10.7
32 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 4 14.3
33 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 2 7.1
34 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
35 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
36 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 1 3.6
37 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
38 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
39 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 1 3.6
40 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
41 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
42 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
43 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 4 14.3
44 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
45 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
46 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 3 10.7
47 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 3 10.7
48 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 3 10.7
49 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 1(5) 2(10) 3(5) 4(6) Total (70)
1 150088264 0       0.0
2 160116821 5       5.0
3 160144884 5       5.0
4 170140636 0       0.0
5 170144631 5       5.0
6 180024892 5       5.0
7 180046799 5       5.0
8 180057570 0       0.0
9 180111515 5       5.0
10 180114913 5       5.0
11 180121065 0       0.0
12 180123394 0       0.0
13 180140540 0       0.0
14 190011114 0       0.0
15 190015756 5       5.0
16 190024666 5       5.0
17 190028149 0       0.0
18 190035072 5       5.0
19 190035145 0       0.0
20 190084006 5       5.0
21 190084502 5       5.0
22 190085312 4       4.0
23 190087498 5       5.0
24 190094087 2       2.0
25 190094591 5       5.0
26 190096063 5       5.0
27 190099160 5       5.0
28 190100168 0       0.0
29 190102829 5       5.0
30 190108266 5       5.0
31 190112379 0       0.0
32 190116358 0       0.0
33 190125616 3       3.0
34 190126892 5       5.0
35 200016750 5       5.0
36 200016784 5       5.0
37 200017969 2       2.0
38 200022610 2       2.0
39 200022873 0       0.0
40 200023624 5       5.0
41 200028545 5       5.0
42 200042548 5       5.0
43 200042572 0       0.0
44 200043404 5       5.0
45 200043722 5       5.0
46 200056620 5       5.0
47 200067184 5       5.0
48 202033525 5       5.0
49 202062367 5       5.0

Author: Flávio L. C. de Moura

Last modified: 2021-09-22 Wed 05:32