Lógica Computacional 1 (2024-1) - Turma 02
Table of Contents
3. Cronograma
| Aula | Data | Assunto | Resumo | Arquivos | Observações | |
|---|---|---|---|---|---|---|
| 1 | ✓ | Introdução e Motivação | ||||
| 2 | ✓ | Lógica Proposicional Minimal | ||||
| 3 | ✓ | Exercícios | ||||
| 4 | ✓ | Exercícios | ||||
| 5 | ✓ | Exercícios | ||||
| 6 | ✓ | Lógica Proposicional Intuicionista | ||||
| 7 | ✓ | Lógica Proposicional Clássica | ||||
| 8 | ✓ | Exercícios | ||||
| Período de greve | ||||||
| 9 | ✓ | Exercícios | ||||
| 10 | ✓ | Exercícios (lista de exercícios) | ||||
| Aula cancelada | ||||||
| Aula cancelada | ||||||
| 11 | ✓ | Exercícios | ||||
| 12 | ✓ | Exercícios | ||||
| 13 | ✓ | Revisão para a prova 1 | link | |||
| 14 | ✓ | Prova 1 | link | gabarito | ||
| 15 | ✓ | Lógica de Predicados | link | pdf, pdf, exercícios | ||
| 16 | ✓ | Indução | link | pdf, Página do OneNote | ||
| 17 | ✓ | Exercícios | link | inducao.v | ||
| 18 | ✓ | Correção de algoritmos (parte 1) | link | bubblesort.v | Definição do projeto (orientações) | |
| 19 | ✓ | Correção da Lógica Proposicional | link | Link para repositório do projeto | ||
| 20 | ✓ | Exercícios | link | Lista de exercícios | ||
| 21 | ✓ | Correção de algoritmos (parte 2) | ||||
| 22 | ✓ | Exercícios | ||||
| 23 | ✓ | Semântica da Lógica de Predicados | selectionsort.v | |||
| 24 | ✓ | Correção da Lógica de Predicados | ||||
| 25 | ✓ | Exercícios | Exercícios sobre semântica da LPO | |||
| 26 | ✓ | Exercícios | ||||
| 27 | ✓ | Completude da Lógica de Predicados | ||||
| 28 | ✓ | Exercícios | ||||
| 29 | ✓ | Revisão para a prova 2 | ||||
| 30 | ✓ | Prova 2 | gabarito | |||
| Prova de reposição (opcional) |
3.1. Aula de
- Resolução de diversos exercícios em Dedução Natural na Lógica Proposicional
- Comentários gerais sobre a estrutura da prova (semelhante à lista pdf). Apenas as regras básicas das Lógicas Intuicionista e Clássica serão fornecidas na provas.
3.2. Aula de
- Prova 1: Gabarito disponível em Página do OneNote
3.4. Aula de
- Fizemos alguns exercícios sobre Dedução Natural na Lógica de Primeira Ordem;
- Fizemos uma breve revisão sobre indução. As anotações estão disponíveis em Página do OneNote, e as atividades sugeridas são os exercícios 1.25-1.30 do arquivo pdf.
- Lista de exercícios: pdf
3.5. Aula de
- Fizemos uma breve revisão sobre indução. As anotações estão disponíveis em Página do OneNote, e as atividades sugeridas são os exercícios 1.25-1.30 do arquivo pdf, e em seguida refazer estas provas no Coq (inducao.v)
3.6. Aula de
- Definimos o tema do projeto.
3.7. Aula de
- Fizemos ajustes no arquivo do projeto, e iniciamos a prova da correção da Lógica Proposicional.
3.8. Aula de
- Fizemos mais um caso da prova da correção da Lógica Proposicional, e parte do Teorema de Glivenko (anotações no OneNote da turma).
4. Quadro de Notas
| Matrícula | Prova 2 (10) | |
|---|---|---|
| 1 | 160025966 | 5.0 |
| 2 | 160152658 | 7.5 |
| 3 | 170152294 | |
| 4 | 190014415 | |
| 5 | 190029269 | 4.5 |
| 6 | 190097540 | 6.0 |
| 7 | 190097591 | 2.0 |
| 8 | 190105348 | |
| 9 | 211020885 | 6.0 |
| 10 | 211021004 | 7.5 |
| 11 | 222008806 | 7.5 |
| 12 | 222011525 | 7.5 |
| 13 | 222011534 | 10.0 |
| 14 | 231006140 | 9.5 |
| 15 | 231006239 | 7.5 |
| 16 | 231021450 | 7.5 |
| 17 | 231021496 | 6.0 |
| Matrícula | Ex1(5) | Ex2(2) | Ex3(1) | Ex4(3) | Ex5(3) | Total(14) | |
|---|---|---|---|---|---|---|---|
| 1 | 160025966 | 0 | 2 | 1 | 3 | 3 | 9.00 |
| 2 | 160152658 | 5 | 1.33 | 0 | 0 | 1.5 | 7.83 |
| 3 | 170152294 | 0 | 0 | 0 | 0 | 0 | 0.00 |
| 4 | 190014415 | 0 | 0 | 0.3 | 0.5 | 1 | 1.80 |
| 5 | 190029269 | 0 | 1.9 | 0 | 0 | 1.5 | 3.40 |
| 6 | 190097540 | 0 | 2 | 0.9 | 2 | 3 | 7.90 |
| 7 | 190097591 | 0 | 2 | 1 | 0 | 3 | 6.00 |
| 8 | 190105348 | 1.5 | 2 | 0 | 1.8 | 3 | 8.30 |
| 9 | 211020885 | 4.5 | 1.33 | 1 | 2 | 1 | 9.83 |
| 10 | 211021004 | 5 | 2 | 1 | 3 | 1.5 | 12.50 |
| 11 | 222008806 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 12 | 222011525 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 13 | 222011534 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 14 | 231006140 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 15 | 231006239 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 16 | 231021450 | 5 | 2 | 1 | 3 | 3 | 14.00 |
| 17 | 231021496 | 5 | 2 | 0 | 3 | 3 | 13.00 |
| Matrícula | Exercícios (25) | Prova 1 (20) | Prova 2 (30) | Projeto (25) | Total (100) | Menção | |
|---|---|---|---|---|---|---|---|
| 1 | 160025966 | 16.07 | 20.0 | 15.00 | 51.07 | MM | |
| 2 | 160152658 | 13.98 | 7.0 | 22.50 | 7.00 | 50.48 | MM |
| 3 | 170152294 | 0.00 | 0.00 | 0.00 | SR | ||
| 4 | 190014415 | 3.21 | 0.0 | 0.00 | 3.21 | SR | |
| 5 | 190029269 | 6.07 | 15.0 | 13.50 | 25.00 | 59.57 | MM |
| 6 | 190097540 | 14.11 | 20.0 | 18.00 | 5.00 | 57.11 | MM |
| 7 | 190097591 | 10.71 | 8.0 | 6.00 | 15.0 | 39.71 | MI |
| 8 | 190105348 | 14.82 | 0.00 | 5.00 | 19.82 | II | |
| 9 | 211020885 | 17.55 | 20.0 | 18.00 | 55.55 | MM | |
| 10 | 211021004 | 22.32 | 20.0 | 22.50 | 25.00 | 90.00 | SS |
| 11 | 222008806 | 25.00 | 17.5 | 22.50 | 25.00 | 90.00 | SS |
| 12 | 222011525 | 25.00 | 20.0 | 22.50 | 25.00 | 92.50 | SS |
| 13 | 222011534 | 25.00 | 13.0 | 30.00 | 25.00 | 93.00 | SS |
| 14 | 231006140 | 25.00 | 20.0 | 28.50 | 25.00 | 98.50 | SS |
| 15 | 231006239 | 25.00 | 20.0 | 22.50 | 25.00 | 92.50 | SS |
| 16 | 231021450 | 25.00 | 4.0 | 22.50 | 51.50 | MM | |
| 17 | 231021496 | 23.21 | 18.0 | 18.00 | 25.00 | 84.21 | MS |