Lógica Computacional 1 (2021-2)

Table of Contents

Plano de ensino

pdf

Calendário Acadêmico

Cronograma de aulas

DONE Aula 01 - Introdução e motivação

<2022-01-17 Mon 19:00>

Material da aula:

  • pdf (notas de aula)
  • pdf (introdução da bibliografia principal)
  • Página principal do Coq (link)
  • Página do jscoq (o Coq via Browser) (link)
    • Página com alguns comandos do jscoq (link)
  • GitHub Classroom (link para a criação dos grupos do projeto): https://classroom.github.com/a/7fuGbQeN

DONE Aula 02 - Introdução à Lógica Proposicional

<2022-01-19 Wed 19:00>

Material da aula:

  • pdf (notas de aula)
  • pdf (dedução natural na lógica proposicional - bibliografia principal)
  • Arquivo coq utilizado na aula de hoje: files/lc1_2021_2_coq.v

DONE Aula 03 - Dedução Natural

<2022-01-24 Mon 19:00>

Material da aula:

  • Leitura das notas de aula até o Exercício 12 (pdf)
  • Anotações feitas durante a aula (pdf)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 04 - Regras derivadas para Dedução Natural

<2022-01-26 Wed 19:00>

Material da aula:

  • Leitura das notas de aula até o Exercício 21 (pdf)
  • Anotações feitas durante a aula (pdf)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 05 - Exercícios de DN

<2022-01-31 Mon 19:00>

Material da aula:

  • Leitura:
    • Páginas 19-21 das notas de aula (pdf). Até o Exercício 25.
  • Gabarito (Exercícios 17-20) (pdf)
  • Repositório do projeto (público)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 06 - A Lógica Proposicional Clássica (LPC)

<2022-02-02 Wed 19:00>

Material da aula:

  • Leitura: Páginas 21-25 das notas de aula (pdf).
  • Gabarito da atividade de frequência (pdf)

DONE Aula 07 - A semântica da LPC

<2022-02-07 Mon 19:00>

Material da aula:

  • Leitura: Páginas 25-28 das notas de aula (pdf).
  • pdf (semântica da lógica proposicional clássica - bibliografia principal)
  • pdf (correção da lógica proposicional clássica - bibliografia principal)
  • pdf (completude da lógica proposicional clássica - bibliografia principal)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 08 - Introdução à Lógica de Primeira Ordem (LPO)

<2022-02-09 Wed 19:00>

Material da aula:

  • Leituras:
    • Páginas 29-35 das notas de aula (pdf).
    • pdf (dedução natural na lógica de primeira ordem - bibliografia principal)
    • pdf (indução matemática)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 09 - Indução Matemática

<2022-02-14 Mon 19:00>

Material da aula:

  • Leitura:
    • Páginas 30-34 das notas de aula (pdf).
  • Gabarito da atividade de frequência (pdf)

DONE Aula 10 - Indução Estrutural

<2022-02-16 Wed 19:00>

Material da aula:

DONE Aula 11 - Indução Estrutural (listas)

<2022-02-21 Mon 19:00>

Material da aula:

  • Anotações da aula (pdf)
  • Gabarito da atividade de frequência (pdf)

DONE Aula 12 - Indução Estrutural (árvores)

<2022-02-23 Wed 19:00>

Material da aula:

  • Anotações da aula (pdf)
  • Gabarito da atividade de frequência (pdf)
  • Gabarito da atividade 02 (pdf)

Carnaval

<2022-02-28 Mon>

Carnaval

<2022-03-02 Wed>

DONE Aula 13 - A prova da correção da Lógica Proposicional

<2022-03-07 Mon 19:00>

Material da aula:

  • pdf disponível no material de leitura da aula 07.
  • Gabarito da atividade de frequência (pdf)

DONE Aula 14 - Apresentação do projeto

<2022-03-09 Wed 19:00>

Material da aula:

DONE Aula 15 - Exercícios

<2022-03-14 Mon 19:00>

Material da aula:

  • Lista de exercícios (pdf)
  • Gabarito da atividade de frequência (pdf)
  • Gabarito da atividade 03 (pdf)

DONE Aula 16 - Projeto

<2022-03-16 Wed 19:00>

DONE Aula 17 - Semântica da LPO

<2022-03-21 Mon 19:00>

Material da aula:

  • Leituras: pdf, pdf (com exercícios)
  • Gabarito da atividade 04 (pdf)
  • Gabarito da atividade 05 (pdf)

DONE Aula 18 - Discussão do projeto

<2022-03-23 Wed 19:00>

DONE Aula 19 - A correção da LPO

<2022-03-28 Mon 19:00>

Material da aula:

  • Leitura (pdf)
  • Gabarito da atividade 06 (pdf)

DONE Aula 20 - A completude da LPO (parte 1)

<2022-03-30 Wed 19:00>

Material da aula:

  • Leitura (pdf)
  • Gabarito da atividade 07 (pdf)

DONE Aula 21 - A completude da LPO (parte 2)

<2022-04-04 Mon 19:00>

DONE Aula 22 - Discussão do projeto

<2022-04-06 Wed 19:00>

DONE Aula 23 - Discussão do projeto

<2022-04-11 Mon 19:00>

DONE Aula 24 - Exercícios

<2022-04-13 Wed 19:00>

DONE Aula 25 - Indecidibilidade da LPO

<2022-04-18 Mon 19:00>

Material da aula:

  • Leituras (pdf) (pdf)
  • Gabarito da atividade 08 (pdf)

DONE Aula 26 - Discussão do projeto

<2022-04-20 Wed 19:00>

DONE Aula 27 - Discussão de exercícios

<2022-04-25 Mon 19:00>

DONE Aula 28 - Discussão de exercícios

<2022-04-27 Wed 19:00>

TODO Aula 29 -

<2022-05-02 Mon 19:00>

TODO Aula 30 - Fechamento do curso

<2022-05-04 Wed 19:00>

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 29 30 faltas %
140127739                                                             30 100.0
140136282 x x x 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.0
150056940 x x x               x x x x x x x x x x x x x x x x x x x x 7 23.3
150126921 x                                                           29 96.7
160027764 x x x x x   x   x x x x       x x x x x x x x x x x x x x x 5 16.7
160128331 x x   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 13.3
170098168 x x x x 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 6.7
170100880 x                                                           29 96.7
170104630 x x   x 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.0
170141667                                                             30 100.0
170149374 x x x x x x 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
170157849 x x x 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.0
180043358 x   x                                                       28 93.3
180046322 x x                                                         28 93.3
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 x x 2 6.7
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 5 16.7
180129520 x x x x   x 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.3
180132849 x x x x           x x     x x x x x x x x x x x x x x x x x 7 23.3
180164015                                                             30 100.0
190011114 x   x   x x                                                 26 86.7
190025671 x x x x x x 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
190035145 x                                                           29 96.7
190036559 x   x x x x   x   x x   x x   x x x x x x x x x x x x x x x 5 16.7
190039582 x x                                                         28 93.3
190089539 x x   x x x                                                 25 83.3
190090995 x x   x                                                     27 90.0
190108681 x                                                           29 96.7
190110007 x x x x x 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.3
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 4 13.3
190142685 x x                                                         28 93.3
200016997 x x   x                                                     27 90.0
200022857 x x x x x 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.3
200036602 x                                                           29 96.7
200042572 x x x x   x             x                                   24 80.0
200044486 x x x x   x   x x                                           23 76.7
200048805 x x x x x x 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
200060295 x x x x x x 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
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 4 13.3
202037560                                                             30 100.0
212008482 x x x x x x 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:

Atividades individuais

Matrícula 01(5) 02(5) 03(5) 04(5) 05(5) 06(5) 07(5) 08(5) 09(5) 10(5 Total (50)
140127739                     0
140136282 5 5 5   5 5 5 5 5 5 45
150056940 5   3               8
150126921                     0
160027764 3.5                   3.5
160128331 2   3       2.5 5     12.5
170098168 5   1 4 5 3 4       22
170100880                     0
170104630 2 5 3       2 3 4   19
170141667                     0
170149374 5 5 3 5 4 5 3 5 5 5 45
170157849 0.5   3 2 3 3 2 5 5   23.5
180043358 2                   2
180046322                     0
180098845 4       5 3 2 5     19
180123394 1 5                 6
180129520 2 4 5 2 4 4 3 3 3 3 33
180132849         2           2
180164015                     0
190011114                     0
190025671 3 5 3 2 4 4 4 5 5 2 37
190035145                     0
190036559 2.5           2.5 3     8.
190039582                     0
190089539                     0
190090995                     0
190108681                     0
190110007 3.5 4                 7.5
190131497 3   3   2 3 3 4 3   21
190142685                     0
200016997 1                   1
200022857 5                   5
200036602                     0
200042572                     0
200044486 1.5                   1.5
200048805 4.5   3   4 2.5 3 5   5 27.
200060295 5 5 3 2 4 2.5 3 4   5 33.5
202033525 4 5   2 2   3 5 5   26
202037560                     0
212008482 5 3 3 2 3 5 3 5 5   34

Projeto

Matrícula 01(5) Coq(30) Relatório (15) Desafio (10) Total (50)
140127739         0.0
140136282 5 32 8   45.0
150056940 5 30 7   42.0
150126921 5       5.0
160027764 5       5.0
160128331 0       0.0
170098168 5 26.5 8   39.5
170100880         0.0
170104630 0 26.5 8   34.5
170141667         0.0
170149374 5 33 12   50.0
170157849 5 26.5 8 10 49.5
180043358 4       4.0
180046322 5 30 7   42.0
180098845         0.0
180123394 5       5.0
180129520 5 30 7   42.0
180132849 5 30 7   42.0
180164015         0.0
190011114 0       0.0
190025671 4 33 10   47.0
190035145         0.0
190036559 0       0.0
190039582 5       5.0
190089539 5       5.0
190090995 0       0.0
190108681 0       0.0
190110007 5       5.0
190131497 5 33 12   50.0
190142685 5       5.0
200016997         0.0
200022857 2       2.0
200036602         0.0
200042572 1       1.0
200044486 4       4.0
200048805 5 33 12   50.0
200060295 5 33 12   50.0
202033525 5 32 8   45.0
202037560         0.0
212008482 5 32 8   45.0

Menções

Matrícula Atividades Projeto Total (100) Faltas(%) Menções
140136282 45.0 45.0 90.0 10.0 SS
150056940 8.0 42.0 50.0 23.3 MM
150126921 0.0 5.0 5.0 96.7 SR
170098168 22.0 39.5 61.5 6.7 MM
170104630 19.0 34.5 53.5 10.0 MM
170149374 45.0 50.0 95.0 0.0 SS
170157849 23.5 49.5 73.0 10.0 MS
180129520 33.0 42.0 75.0 3.3 MS
180132849 2.0 42.0 44.0 23.3 MI
190025671 37.0 47.0 84.0 0.0 MS
190090995 0.0 0.0 0.0 90.0 SR
190131497 21.0 50.0 71.0 13.3 MS
200044486 1.5 4.0 5.5 76.7 SR
200048805 27.0 50.0 77.0 0.0 MS
200060295 33.5 50.0 83.5 0.0 MS
202033525 26.0 45.0 71.0 13.3 MS
212008482 34.0 45.0 79.0 0.0 MS