| Aula | Dia | Data | Hora | Descrição | Atividade | Recursos |
|
1
|
TER
|
5/8/2008
|
JK
|
Programa - Avaliação - Histórico
|
Aula
|
Notebook 6
|
|
2
|
QUI
|
7/8/2008
|
JK
|
Sintaxe Lógica Proposicional - Tabelas Verdade
|
Aula
|
Notebook 3
|
|
3
|
TER
|
12/8/2008
|
JK
|
Sintaxe Lógica Proposicional - Tabelas Verdade
|
Aula
|
Notebook 6
|
|
4
|
QUI
|
14/8/2008
|
JK
|
Interpretação Fórmulas - Tautologias - Contradições
|
Aula
|
Notebook 6
|
|
5
|
TER
|
19/8/2008
|
JK
|
Modelos e Conseqüência Semântica
|
Aula
|
Notebook 3
|
|
6
|
QUI
|
21/8/2008
|
JK
|
Formalização de Argumentos
|
Aula
|
Notebook 6
|
|
7
|
TER
|
26/8/2008
|
JK
|
Formalização; Teorema da Substituição, Equivalências e Aplicações
|
Aula
|
Notebook 6
|
|
8
|
QUI
|
28/8/2008
|
JK
|
Dedução Natural
|
Aula
|
Notebook 6
|
|
9
|
TER
|
2/9/2008
|
JK
|
[Jornada Acadêmica]
|
Jornada/Semana Acadêmica
|
|
|
10
|
QUI
|
4/9/2008
|
JK
|
[Jornada Acadêmica]
|
Jornada/Semana Acadêmica
|
|
|
11
|
TER
|
9/9/2008
|
JK
|
Dedução Natural
|
Aula
|
|
|
12
|
QUI
|
11/9/2008
|
JK
|
Dedução Natural
|
Aula
|
|
|
13
|
TER
|
16/9/2008
|
JK
|
Dedução Natural
|
Aula
|
|
|
14
|
QUI
|
18/9/2008
|
JK
|
Dedução Natural, JUDE
|
Aula
|
LAPRO - 211.3
|
|
15
|
TER
|
23/9/2008
|
JK
|
Prova P1
|
Prova
|
|
|
16
|
QUI
|
25/9/2008
|
JK
|
Lógica de Predicados - Termos
|
Aula
|
Notebook 6
|
|
17
|
TER
|
30/9/2008
|
JK
|
Lógica de Predicados - Fórmulas
|
Aula
|
Notebook 6
|
|
18
|
QUI
|
2/10/2008
|
JK
|
Lógica de Predicados - Formalização e Verificação de Argumentos
|
Aula
|
Notebook 6
|
|
19
|
TER
|
7/10/2008
|
JK
|
Lógica de Predicados
|
Aula
|
Notebook 6
|
|
20
|
QUI
|
9/10/2008
|
JK
|
Dedução Natural
|
Aula
|
Notebook 6
|
|
21
|
TER
|
14/10/2008
|
JK
|
[SB] Dedução Natural
|
Aula
|
|
|
22
|
QUI
|
16/10/2008
|
JK
|
[SB] Dedução Natural
|
Aula
|
|
|
23
|
TER
|
21/10/2008
|
JK
|
Dedução Natural
|
Aula
|
|
|
24
|
QUI
|
23/10/2008
|
JK
|
Dedução Natural
|
Aula
|
|
|
25
|
TER
|
28/10/2008
|
JK
|
Prova P2
|
Prova
|
|
|
26
|
QUI
|
30/10/2008
|
JK
|
Lógica de Hoare
|
Aula
|
|
|
27
|
TER
|
4/11/2008
|
JK
|
Lógica de Hoare
|
Aula
|
|
|
28
|
QUI
|
6/11/2008
|
JK
|
Lógica de Hoare
|
Aula
|
|
|
29
|
TER
|
11/11/2008
|
JK
|
Lógica de Hoare
|
Aula
|
|
|
30
|
QUI
|
13/11/2008
|
JK
|
Lógica de Hoare
|
Aula
|
|
|
31
|
TER
|
18/11/2008
|
JK
|
Exercícios
|
Aula
|
|
|
32
|
QUI
|
20/11/2008
|
JK
|
Aula de Dúvidas
|
Aula
|
|
|
33
|
TER
|
25/11/2008
|
JK
|
Prova P3
|
Prova
|
|
|
34
|
QUI
|
27/11/2008
|
JK
|
Prova PS
|
Prova de Substituição
|
|
|
35
|
TER
|
2/12/2008
|
JK
|
Atendimento
|
Aula
|
|
|
36
|
QUI
|
4/12/2008
|
JK
|
Prova G2
|
Prova de G2
|
|
|
37
|
TER
|
9/12/2008
|
JK
|
|
Aula
|
|