Aula 1
1/10/07

Lógica Proposicional.
Resolução dos Exercícios 1-9 (Ficha TP-1).

Aula 2
8/10/07

Resolução dos Exercícios 12, 13, 15, 17, 21 e 23.

Aula 3
15/10/07

Resolução dos Exercícios 23, 27(b), 29(a), 30(a)-(e), 31, 33(a)(b).

Aula 4
22/10/07

Resolução dos Exercícios 34, 35, 33.
Exercícios 10 e 12 da Folha 1P.

Aula 5
29/10/07

Somatórios: resolução dos exercícios 10, 11, 12 e 13 da Folha 2.

Aula 6
5/11/07

Algoritmos e complexidade.
Resolução dos Exercícios 3, 4, 5, 6, 7 da Folha 2.

Aula 7
12/11/07

Resolução dos Exercícios 7 e 9 da Folha 2.
Os inteiros. Divisibilidade. Primos. Factorização em primos.
Resolução dos Exercícios 1, 2, 3, 4 , 5 e 6 da Folha 3.

Aula 8
19/11/07

Máximo divisor comum. Algoritmo de Euclides.
Divisão inteira. Relação de congruência módulo n.
Resolução dos Exercícios 7, 11, 12, 17, 18, 20, 21.

Aula 9
26/11/07

Resolução de congruências. 
Método RSA de encriptação.
Resolução dos Exercícios 22, 23, 24, 25.
Raciocínio matemático, indução e recursão.
Resolução dos Exercícios 1, 2 e 3.

Aula 10
3/12/07

Resolução dos Exercícios 4, 5(a)(c),9(c)(d)(e).
Contagem. Exercícios 1 e 2.

Aula 11
10/12/07

Contagem.
Resolução dos exercícios 3 (conclusão), 6, 7, 8, 9, 11, 14 e 16.

Aula 12
17/12/07

Fórmula da inclusão-exclusão.
Desencontros.
Relações de recorrência.
Exercícios 17, 18, 21, 22, 23 (a)(b)(c)(g)(h).