Lógica Computacional 1 (2023-2)
Table of Contents
- Plano de Ensino
- Calendário SAA
- Cronograma de Aulas
- DONE Aula 01 - Introdução e motivação - Dedução Natural (DN)
- DONE Aula 02 - O fragmento implicacional da Lógica Proposicional (LP)
- DONE Aula 03 - A Lógica Proposicional Minimal (LPM)
- DONE Aula 04 - Exercícios na LPM
- DONE Aula 05 - A Lógica Proposicional Intuicionista (LPI)
- DONE Aula 06 - Exercícios na LPI
- DONE Aula 07 - A Lógica Proposicional Clássica (LPC) (FROM 2023)
- DONE Aula 08 - Exercícios na LPC (FROM 2023)
- Semana Universitária
- Semana Universitária
- DONE Aula 09 - Exercícios
- DONE Aula 10 - Exercícios
- DONE Aula 11 - Avaliação escrita 1
- DONE Aula 12 - A Lógica de Primeira Ordem (LPO)
- DONE Aula 13 - Exercícios e Indução
- DONE Aula 14 - Exercícios
- DONE Aula 15 - Exercícios
- DONE Aula 16 - Exercícios
- DONE Aula 17 - Cálculo de Sequentes (CS)
- DONE Aula 18 - Apresentação do projeto
- DONE Aula 19 - CS versus DN e projeto
- DONE Aula 20 - CS versus DN
- DONE Aula 21 - CS versus DN
- Feriado
- TODO Aula 22 - Exercícios
- TODO Aula 23 - Exercícios
- TODO Aula 24 - A completude da LPO
- TODO Aula 25 - A completude da LPO
- TODO Aula 26 - A completude da LPO
- TODO Aula 27 - Indecidibilidade da LPO
- TODO Aula 28 - Exercícios
- TODO Aula 29 - Avaliação escrita 2
- Gabaritos
- Quadro de Notas
- Monitoria monitoria
Cronograma de Aulas
DONE Aula 02 - O fragmento implicacional da Lógica Proposicional (LP)
DONE Aula 03 - A Lógica Proposicional Minimal (LPM)
Notas de aula a serem utilizadas durante boa parte do semestre (pdf)
DONE Aula 04 - Exercícios na LPM
DONE Aula 05 - A Lógica Proposicional Intuicionista (LPI)
Notas de aula a serem utilizadas durante boa parte do semestre (pdf)
DONE Aula 06 - Exercícios na LPI
Semana Universitária
Semana Universitária
DONE Aula 11 - Avaliação escrita 1
DONE Aula 12 - A Lógica de Primeira Ordem (LPO)
DONE Aula 14 - Exercícios
DONE Aula 15 - Exercícios
DONE Aula 16 - Exercícios
DONE Aula 17 - Cálculo de Sequentes (CS)
DONE Aula 18 - Apresentação do projeto
Projeto: Árvores binárias de busca (link) Prazo: 10/dez/2023.
- Arquivo da aula de ontem: lc1_2023_2_bst.v
Feriado
TODO Aula 22 - Exercícios
TODO Aula 23 - Exercícios
TODO Aula 24 - A completude da LPO
TODO Aula 25 - A completude da LPO
TODO Aula 26 - A completude da LPO
TODO Aula 27 - Indecidibilidade da LPO
TODO Aula 28 - Exercícios
TODO Aula 29 - Avaliação escrita 2
Quadro de Notas
Avaliações escritas
| Matrícula | Prova 1 | |
|---|---|---|
| 1 | 150005547 | 5.0 |
| 2 | 160005213 | 7.5 |
| 3 | 160152658 | 3.5 |
| 4 | 170010481 | 5.0 |
| 5 | 170013821 | |
| 6 | 170023591 | 6.0 |
| 7 | 170044921 | 4.0 |
| 8 | 170141667 | 7.5 |
| 9 | 170168221 | 5.0 |
| 10 | 180030353 | 8.0 |
| 11 | 180046951 | 8.0 |
| 12 | 180098845 | |
| 13 | 180117505 | 5.0 |
| 14 | 180126890 | 8.0 |
| 15 | 190028076 | 6.5 |
| 16 | 190097540 | 5.5 |
| 17 | 190106824 | 8.5 |
| 18 | 190114860 | 4.5 |
| 19 | 200020692 | 8.0 |
| 20 | 200036858 | 0.0 |
| 21 | 202021785 | 5.5 |
| 22 | 202065897 | 7.0 |
| 23 | 211020867 | 4.5 |
| 24 | 211020910 | 5.0 |
| 25 | 211036141 | 5.0 |
| 26 | 211037238 | 0.0 |
| 27 | 221001972 | 10.0 |
| 28 | 221002002 | 2.0 |
| 29 | 221017023 | 10.0 |
| 30 | 221017130 | 8.0 |
| 31 | 221018960 | 7.5 |
| 32 | 221039970 | 6.0 |
| 33 | 222012809 | 6.5 |
| 34 | 222028792 | 5.5 |
| 35 | 222029172 | 2.0 |
| 36 | 222031822 | 3.0 |
| 37 | 222035625 | 7.0 |
| 38 | 222035661 | |
| 39 | 231013583 | 8.0 |
Monitoria monitoria
Monitor: José Roberto Interaminense Soares
Monitoria presencial: Quintas (16h-17h) na sala de monitoria do CIC.
Dúvidas podem ser postadas no canal Dúvidas do Teams.