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 |