Semana 1 (24/09 - 28/09)

Introdução ao programa Boole (Ficha P-1).
Apoio à resolução dos exercícios da Folha TP-1 que 
envolvem a construção de tabelas de verdade.

Semana 2 (1/10 - 5/10)

Continuação da aula anterior. Resolução do Exercício 21 da Folha 1-TP.

Semana 3 (8/10 - 12/10)

Introdução ao programa Tarski World. 
Prática com o Tarski World.

Semana 4 (15/10 - 19/10)

Prática com o Tarski World. Ficha PL-2.

Semana 5 (22/10 - 26/10)

Resolução de exercícios da ficha PL-2.

Semana 6 (29/10 - 2/11)

Discussão sobre a resolução do teste.

Semana 7 (5/11 - 9/11)

Resolução de exercícios da ficha PL-3.

Semana 8 (12/11 - 16/11)

Conclusão da ficha PL-3.

Semana 9 (19/11 - 23/11)

Acompanhamento dos alunos em questões das aulas teórico-práticas 
(exercícios 8, 9, 11 e 12 da Folha TP-4).

Semana 10 (26/11 - 30/11)

Acompanhamento dos alunos em questões das aulas teórico-práticas
(exercícios 12 e 16 da Folha TP-4).

Semana 11 (3/12 - 7/12)
	
Acompanhamento dos alunos na resolução do teste nº 3, de 2008/2009.

Semana 12 (10/12 - 14/12)

Resolução de testes de anos anteriores.