Aula	Dia	Data	Hora	Descrição	Atividade	Recursos
1	TER	2/3/2010	LM	Introdução	Aula
2	QUI	4/3/2010	LM	Introdução	Aula
3	TER	9/3/2010	LM	Lógica Proposicional	Aula
4	QUI	11/3/2010	LM	Lógica Proposicional	Aula
5	TER	16/3/2010	LM	Lógica Proposicional	Aula
6	QUI	18/3/2010	LM	Lógica Proposicional	Aula
7	TER	23/3/2010	LM	Lógica Proposicional	Aula
8	QUI	25/3/2010	LM	Lógica Proposicional	Aula
9	TER	30/3/2010	LM	Lógica Proposicional	Aula
10	QUI	1/4/2010	LM	Feriado	Aula
11	TER	6/4/2010	LM	Prova 1	Prova
12	QUI	8/4/2010	LM	Lógica de Predicados	Aula
13	TER	13/4/2010	LM	Lógica de Predicados	Aula
14	QUI	15/4/2010	LM	Lógica de Predicados	Aula
15	TER	20/4/2010	LM	Lógica de Predicados	Aula
16	QUI	22/4/2010	LM	Lógica de Predicados	Aula
17	TER	27/4/2010	LM	Lógica de Predicados	Aula
18	QUI	29/4/2010	LM	Lógica de Predicados	Aula
19	TER	4/5/2010	LM	Lógica de Predicados	Aula
20	QUI	6/5/2010	LM	Lógica de Predicados	Aula
21	TER	11/5/2010	LM	Lógica de Predicados	Aula
22	QUI	13/5/2010	LM	Lógica de Predicados	Aula
23	TER	18/5/2010	LM	Lógica de Predicados	Aula
24	QUI	20/5/2010	LM	Lógica de Predicados	Aula
25	TER	25/5/2010	LM		Trabalho
26	QUI	27/5/2010	LM	Prova 2	Prova
27	TER	1/6/2010	LM	Aplicações	Aula
28	QUI	3/6/2010	LM	Feriado	Aula
29	TER	8/6/2010	LM	Aplicações	Aula
30	QUI	10/6/2010	LM	Aplicações	Aula
31	TER	15/6/2010	LM	Aplicações	Aula
32	QUI	17/6/2010	LM	Aplicações	Aula
33	TER	22/6/2010	LM	Prova 3	Prova
34	QUI	24/6/2010	LM		Trabalho
35	TER	29/6/2010	LM		Prova de Substituição
36	QUI	1/7/2010	LM	Revisão	Aula
37	TER	6/7/2010	LM		Prova de G2
38	QUI	8/7/2010	LM		Aula