Lógica Computacional 1 - 2012/1 (Turma C)
20/03/2012 (1):
22/03/2012:
27/03/2012:
- Não haverá aula (o transformador que alimenta o CIC está queimado).
29/03/2012:
03/04/2012:
05/04/2012:
10/04/2012 (2):
12/04/2012 (3):
- Dedução Natural (introdução)
- Exercícios
17/04/2012 (4):
- Dedução Natural (fragmento intuicionista)
- Exercícios
19/04/2012 (5):
- Dedução Natural (fragmento intuicionista)
- Exemplos no ProofWeb
24/04/2012 (6):
26/04/2012 (7):
01/05/2012 (8):
03/05/2012 (9):
- Semântica da lógica proposicional
- Exercícios
08/05/2012 (10):
10/05/2012 (11):
15/05/2012 (12):
17/05/2012 (13):
- Correção e Completude da Lógica Proposicional
22/05/2012 (14):
24/05/2012 (15):
29/05/2012 (16):
- Cálculo de Predicados (regras e exemplos)
31/05/2012 (17):
05/06/2012:
07/06/2012:
12/06/2012:
14/06/2012:
19/06/2012:
21/06/2012:
26/06/2012:
28/06/2012:
03/07/2012:
05/07/2012:
10/07/2012:
12/07/2012:
17/07/2012:
19/07/2012:
24/07/2012:
26/07/2012:
31/07/2012:
02/08/2012:
07/08/2012:
09/08/2012:
14/08/2012:
16/08/2012:
21/08/2012 (18):
23/08/2012 (19):
- Cálculo de Predicados (Exercícios em Dedução Natural)
28/08/2012 (20):
30/08/2012 (21):
- Semântica do Cálculo de Predicados
04/09/2012 (22):
- Correção e Completude do Cálculo de Predicados
Exercícios
06/09/2012 (23):
11/09/2012 (24):
- Indecidibilidade do Cálculo de Predicados
13/09/2012 (25):
- O teorema da Compacidade
- Definição da ordem de apresentação do projeto
18/09/2012 (26):
- O teorema de Löwenheim-Skolem
20/09/2012 (27):
- O teorema de Löwenheim-Skolem
25/09/2012 (28):
27/09/2012 (29):
02/10/2012 (30):
04/10/2012 (31):
Menção Final