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:

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

<2021-07-28 qua>

Material da aula:

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

<2021-08-02 seg>

Material da aula:

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

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

Material da aula:

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

<2021-08-09 seg>

Material da aula:

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

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

Material da aula:

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

<2021-08-16 seg>

Material da aula:

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

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

Material da aula:

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

<2021-08-23 seg>

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 qua 19:00>–<2021-08-25 qua 20:30>

Material da aula:

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

<2021-08-30 seg>

Material da aula:

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

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

Material da aula:

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

<2021-09-06 seg>

Material da aula:

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

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

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

<2021-09-13 seg>

Material da aula:

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 semântica da LPO ✓

<2021-09-20 seg>

Material da aula:

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

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

Material da aula:

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>

Material da aula:

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

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

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

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

Aula 24 (assíncrona) - Os teoremas de Löwenhein-Skolem e da compacidade ✓

<2021-10-18 seg>

Material da aula:

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

<2021-10-20 qua 19:00>–<2021-10-20 qua 20:30>

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

<2021-10-25 seg>

Material da aula:

Aula 27 (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 Faltas Faltas (%)
1 150088264 x x                                                   5 18.5
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 1 3.7
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 0 0.0
4 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 0 0.0
5 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 0 0.0
6 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 0 0.0
7 180057570             x x x x x x x x x x x x x x x x x x x x x 6 22.2
8 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 0 0.0
9 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 0 0.0
10 180123394 x x           x x x x x x x x x x x x x x x x x x x x 5 18.5
11 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 0 0.0
12 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 0 0.0
13 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 0 0.0
14 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 1 3.7
15 190035145   x                                                   26 96.3
16 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 0 0.0
17 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 0 0.0
18 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 1 3.7
19 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 0 0.0
20 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 0 0.0
21 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 0 0.0
22 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 0 0.0
23 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 0 0.0
24 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 1 3.7
25 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 0 0.0
26 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 0 0.0
27 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 0 0.0
28 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 0 0.0
29 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 0 0.0
30 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 1 3.7
31 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 0 0.0
32 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 0 0.0
33 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 0 0.0
34 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 0 0.0
35 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 0 0.0
36 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 3 11.1
37 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 0 0.0

Quadro de Notas:

  Matrícula 1(5) 2(10) 3(5) 4(6) 5(4) 6(10) 7(10) 8(10) 9(10) Total (70)
1 150088264 0                 0.0
2 160116821 5 8 5 5 4 10 10 3 2 52.0
3 160144884 5 10 5 6 4 10 10 4 2 56.0
4 170144631 5 5 5 6 4 4 3 4 4 40.0
5 180024892 5 10 5 6 4 10 10 4 2 56.0
6 180046799 5 8 5 6 4 6 4 6 6 50.0
7 180057570 0 8 4 6 4 6 5 3 4 40.0
8 180111515 5 10 5 6 1 6 3 3 4 43.0
9 180114913 5 10 5 6 4 10 10 4 3 57.0
10 180123394 0                 0.0
11 180140540 0                 0.0
12 190015756 5 10   6 4 10 10 10 10 65.0
13 190024666 5 10 5 6 1 3 3 3 3 39.0
14 190035072 5 10 5 5 3     4 4 36.0
15 190035145 0                 0.0
16 190084006 5 10 5 6 4 10 10 10 10 70.0
17 190084502 5 7 5 6 1 6 3 4 2 39.0
18 190085312 5 10 5 6 4 10 10 10 10 70.0
19 190087498 5 10 5 5 4 10 10 4 3 56.0
20 190094087 2 10 5 4 2 6 3 3 4 39.0
21 190094591 5 10 5 6 4 6 3 2 3 44.0
22 190096063 5 8 5 6 4 10 10 4 1 53.0
23 190099160 5 10 5 6 2 6 3   3 40.0
24 190102829 5 10 4 6 4 10 10 4 10 63.0
25 190108266 5 10 5 5 4 6 3     38.0
26 190126892 5 10 5 6 4 8 10 10 4 62.0
27 200016750 5 10 5 6   10 10 10   56.0
28 200017969 2 10 5 4 4 6 3 2 2 38.0
29 200022610 2 6 5 5 4 6 3 2 4 37.0
30 200022873 0 10 5 5 4 6 3 3 4 40.0
31 200023624 5 10 5 6   10 10 10   56.0
32 200028545 5 10 3 6 1 10 10 10   55.0
33 200042548 5 10 5 3 4 10 2 3 4 46.0
34 200043404 5 10 5 2 4 4 2 4 3 39.0
35 200043722 5 7 5 2 4 10 2 3 4 42.0
36 200067184 5 10 5 2 4 5 3 3   37.0
37 202062367 5 10 0 6 1 6 2 4 3 37.0
Matrícula Notas Atividades (70) Projeto (30) Pontuação Final (100) Faltas (%) Menção  
150088264 0.0   0.0 18.5 SR x
160116821 52.0   52.0 3.7 MM x
160144884 56.0   56.0 0.0 MM x
170144631 40.0   40.0 0.0 MI  
180024892 56.0 30 86.0 0.0 MS x
180046799 50.0   50.0 0.0 MM x
180057570 40.0 30 70.0 22.2 MS x
180111515 43.0 30 73.0 0.0 MS x
180114913 57.0   57.0 0.0 MM x
180123394 0.0   0.0 18.5 SR  
180140540 0.0   0.0 0.0 SR  
190015756 65.0 10 75.0 0.0 MS x
190024666 39.0 15 54.0 0.0 MM x
190035072 36.0 15 51.0 3.7 MM x
190035145 0.0   0.0 96.3 SR x
190084006 70.0 20 90.0 0.0 SS x
190084502 39.0 20 59.0 0.0 MM x
190085312 70.0 20 90.0 3.7 SS x
190087498 56.0 20 76.0 0.0 MS x
190094087 39.0 15 54.0 0.0 MM x
190094591 44.0 30 74.0 0.0 MS x
190096063 53.0   53.0 0.0 MM x
190099160 40.0 30 70.0 0.0 MS x
190102829 63.0   63.0 3.7 MM x
190108266 38.0 20 58.0 0.0 MM x
190126892 62.0 20 82.0 0.0 MS x
200016750 56.0 30 86.0 0.0 MS x
200017969 38.0 15 53.0 0.0 MM x
200022610 37.0 20 57.0 0.0 MM x
200022873 40.0 20 60.0 3.7 MM x
200023624 56.0 30 86.0 0.0 MS x
200028545 55.0 30 85.0 0.0 MS x
200042548 46.0   46.0 0.0 MI  
200043404 39.0   39.0 0.0 MI x
200043722 42.0   42.0 0.0 MI  
200067184 37.0   37.0 11.1 MI  
202062367 37.0 30 67.0 0.0 MM x

Author: Flávio L. C. de Moura

Email: flavio@flaviomoura.info, flaviomoura@unb.br

Created: 2022-02-07 seg 14:47