Lógica Computacional 1 (2024-1)
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 - A Lógica Proposicional Minimal (LPM)
- DONE Aula 03 - Exercícios
- DONE Aula 04 - Exercícios
- DONE Aula 05 - Exercícios
- DONE Aula 06 - A Lógica Proposicional Intuicionista (LPI)
- DONE Aula 07 - A Lógica Proposicional Clássica (LPC)
- DONE Aula 08 - Exercícios
- TODO Aula 09 - Exercícios
- TODO Aula 10 - Exercícios
- TODO Aula 11 -
- TODO Aula 12 - Avaliação escrita 1
- TODO Aula 13 - A Lógica de Primeira Ordem (LPO)
- TODO Aula 14 - Indução
- TODO Aula 15 - A LPO em Cálculo de Sequentes (CS)
- TODO Aula 16 - Exercícios
- TODO Aula 17 - CS versus DN
- TODO Aula 18 - CS versus DN
- TODO Aula 19 - A correção de algoritmos
- TODO Aula 20 - A correção de algoritmos
- TODO Aula 21 - A correção de algoritmos
- 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 - Exercícios
- TODO Aula 30 - Exercícios
- TODO Aula 31 - Avaliação escrita 2
- Quadro de Notas
Cronograma de Aulas
DONE Aula 07 - A Lógica Proposicional Clássica (LPC)
Material da aula:
DONE Aula 08 - Exercícios
Material da aula:
- https://flaviomoura.info/files/alcs-aula01.pdf (Motivação)
- https://flaviomoura.info/files/alcs-aula03.pdf (Dedução Natural)
- Anotações da aula (pdf)
TODO Aula 09 - Exercícios
Material da aula:
TODO Aula 10 - Exercícios
Material da aula:
TODO Aula 11 -
Material da aula:
TODO Aula 12 - Avaliação escrita 1
Material da aula:
TODO Aula 13 - A Lógica de Primeira Ordem (LPO)
Material da aula:
TODO Aula 14 - Indução
Material da aula:
TODO Aula 15 - A LPO em Cálculo de Sequentes (CS)
Material da aula:
TODO Aula 16 - Exercícios
Material da aula:
TODO Aula 17 - CS versus DN
Material da aula:
TODO Aula 18 - CS versus DN
Material da aula:
TODO Aula 19 - A correção de algoritmos
Material da aula:
TODO Aula 20 - A correção de algoritmos
Material da aula:
TODO Aula 21 - A correção de algoritmos
Material da aula:
TODO Aula 22 - Exercícios
Material da aula:
TODO Aula 23 - Exercícios
Material da aula:
TODO Aula 24 - A completude da LPO
Material da aula:
TODO Aula 25 - A completude da LPO
Material da aula:
TODO Aula 26 - A completude da LPO
Material da aula:
TODO Aula 27 - Indecidibilidade da LPO
Material da aula:
TODO Aula 28 - Exercícios
Material da aula:
TODO Aula 29 - Exercícios
Material da aula:
TODO Aula 30 - Exercícios
Material da aula:
TODO Aula 31 - Avaliação escrita 2
Material da aula:
Quadro de Notas
| Matrícula | Exercícios (25) | Prova 1 (20) | Prova 2 (30) | Projeto (25) | Total (100) | Menção | |
|---|---|---|---|---|---|---|---|
| 1 | 160025966 | ||||||
| 2 | 160125073 | ||||||
| 3 | 160137705 | ||||||
| 4 | 160152658 | ||||||
| 5 | 170003370 | ||||||
| 6 | 170008002 | ||||||
| 7 | 170044921 | ||||||
| 8 | 170152294 | ||||||
| 9 | 180098845 | ||||||
| 10 | 190014415 | ||||||
| 11 | 190029269 | ||||||
| 12 | 190035145 | ||||||
| 13 | 190086912 | ||||||
| 14 | 190098660 | ||||||
| 15 | 190105348 | ||||||
| 16 | 190115777 | ||||||
| 17 | 190128771 | ||||||
| 18 | 211020885 | ||||||
| 19 | 211021004 | ||||||
| 20 | 222008806 | ||||||
| 21 | 222011525 | ||||||
| 22 | 222011534 | ||||||
| 23 | 222011623 | ||||||
| 24 | 222035661 | ||||||
| 25 | 231006103 | ||||||
| 26 | 231006140 | ||||||
| 27 | 231006177 | ||||||
| 28 | 231006186 | ||||||
| 29 | 231006239 | ||||||
| 30 | 231006248 | ||||||
| 31 | 231006257 | ||||||
| 32 | 231021324 | ||||||
| 33 | 231021342 | ||||||
| 34 | 231021413 | ||||||
| 35 | 231021450 | ||||||
| 36 | 231021487 | ||||||
| 37 | 231021496 | ||||||
| 38 | 231036309 | ||||||
| 39 | 232011322 | ||||||
| 40 | 232032538 |