Aula 1
1/10/07

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.

Aula 2
8/10/07

Continuação da aula anterior. 
Introdução ao programa Tarski World. 

Aula 3
15/10/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.
Prática com o Tarski World.

Aula 4
22/10/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.
Resolução dos Exercícios 10, 12 e 14 da Folha 1P.

Aula 5
29/10/07

Acompanhamento dos alunos em questões das aulas teórico-práticas:
cálculo de somatórios.

Aula 6
5/11/07

Acompanhamento dos alunos em questões das aulas teórico-práticas:
cálculo de somatórios.

Aula 7
12/11/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.
Resoluçao do teste 2.
Prática com o Maple.

Aula 8
19/11/07

Acompanhamento dos alunos em questões das aulas teórico-práticas. Esclarecimento de dúvidas relativamente à matéria do próximo teste.

Aula 9
26/11/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.
Resolução do teste 3.

Aula 10
3/12/07

Acompanhamento dos alunos em questões da Ficha 4.

Aula 11
10/12/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.

Aula 12
17/12/07

Acompanhamento dos alunos em questões das aulas teórico-práticas.
Resolução dos Exercícios 24(a)(b)(c) e 25.