Lógica Computacional 1 (2024-1) - Turma 01
Table of Contents
2. Cronograma
| Data | Assunto | Resumo | Arquivos | |
|---|---|---|---|---|
| 1 | Definição do calendário, data da prova 2 e exercícios de DN na LPO | |||
| Revisão de DN na LPO - exercícios | ||||
| 2 | Cálculo de Sequentes na Lógica Clássica | link | ||
| 3 | Cálculo de Sequentes - exercícios | link | ||
| 4 | Cálculo de Sequentes na Lógica Intuicionista | link | ||
| 5 | Cálculo de Sequentes - exercícios | link | ||
| 6 | Equivalência entre o Cálculo de Sequentes e Dedução Natural | link | ||
| 7 | Exercícios | link | ||
| 8 | Indecidibilidade da LPO (parte 1) | link | ||
| 9 | Indecidibilidade da LPO (parte 2) | |||
| 10 | Revisão para a segunda prova | |||
| 11 | Segunda prova | |||
| 12 | Revisão de menção |
2.1. Aula de
2.2. Aula de
- Resolvemos um exercício proposto pela turma (De Morgan: como propagar a negação sobre a quantificação universal) em Dedução Natural e em Cálculo de sequentes;
- Resolvemos o exercício 38;
- Conversamos detalhadamente sobre provas indutivas sobre estruturas recursivas. Atividade sugerida: Escrever a prova do exercício 39.
2.3. Aula de
- Nesta aula, pré-agendamos a segunda prova para o dia 14 de agosto. Esta data será confirmada (ou reajustada) na próxima aula (dia 24), e depois disto não faremos mais mudanças na data da segunda prova.
2.4. Aula de
- Fizemos a prova da equivalência entre Dedução Natural e o Cálculo de Sequentes para o caso da Lógica de Predicados Intuicionista. Atividade sugerida: Completar todos os detalhes desta prova (pdf);
- Iniciamos a prova da equivalência entre Dedução Natural e o Cálculo de Sequentes para o caso da Lógica de Predicados Clássica;
- Confirmada a data da segunda prova para o dia 14 de agosto!
2.5. Aula de
- Completamos a prova da equivalência entre Dedução Natural e o Cálculo de Sequentes. Atividade sugerida: Completar todos os detalhes desta prova (pdf);
- Confirmada a data da segunda prova para o dia 14 de agosto!
2.6. Aula de
- Resolvemos alguns exercícios da lista pdf. Atividade sugerida: Resolver todos os exercícios (ver todos os pdfs disponibilizados no cronograma acima).
- Confirmada a data da segunda prova para o dia 14 de agosto!
2.7. Aula de
- Indecidibilidade da Lógica de Primeira Ordem estabelecida via redução ao Problema da Correspondência de Post.
- Confirmada a data da segunda prova para o dia 14 de agosto!
3. Quadro de Notas
| Matrícula | Prova 1 | Prova 2 | Entrega Projeto | Relatório Projeto | Projeto Total | Nota Final | Menção | |
|---|---|---|---|---|---|---|---|---|
| 1 | 190098031 | 0.00 | 0.00 | SR | ||||
| 2 | 190102845 | 0.00 | 0.00 | SR | ||||
| 3 | 202037702 | 3.5 | 6.0 | 4.50 | 1.35 | SR | ||
| 4 | 211036132 | 2.1 | 3.0 | 3.5 | 6.0 | 4.50 | 3.18 | MI |
| 5 | 211055423 | 7.3 | 0.0 | 10.0 | 9.5 | 9.80 | 5.13 | MM |
| 6 | 211060568 | 0.00 | 0.00 | SR | ||||
| 7 | 222001331 | 10.0 | 10.0 | 0.00 | 7.0 | MS | ||
| 8 | 222001340 | 1.5 | 7.5 | 8.5 | 7.90 | 2.82 | II | |
| 9 | 222008584 | 2.3 | 0.0 | 7.5 | 8.5 | 7.90 | 3.06 | MI |
| 10 | 222011561 | 9.0 | 10.0 | 10.0 | 9.5 | 9.80 | 9.64 | SS |
| 11 | 222011580 | 0.4 | 5.0 | 10.0 | 9.5 | 9.80 | 5.06 | MM |
| 12 | 222011641 | 10.0 | 10.0 | 10.0 | 9.5 | 9.80 | 9.94 | SS |
| 13 | 222025039 | 7.3 | 7.5 | 7.5 | 8.5 | 7.90 | 7.56 | MS |
| 14 | 222032982 | 2.5 | 4.0 | 3.5 | 6.0 | 4.50 | 3.70 | MI |
| 15 | 231021469 | 1.0 | 3.0 | 0.00 | 1.50 | II |