Semana 1 (24/09 - 28/09) Lógica Proposicional. Resolução dos Exercícios 1,5,7,8,11 (Ficha TP-1).
Semana 2 (1/10 - 5/10) Resolução dos Exercícios 12, 13, 14, 15, 16, 21.
Semana 3 (8/10 - 12/10) 15/10/07 Conclusão da aula anetrior. Resolução dos Exercícios 23, 26(b), 29(a)-(e), 30.
Semana 4 (15/10 - 19/10) Conclusão da aula anterior. Raciocínio matemático, indução e recursão. Resolução dos Exercícios 1, 2, 3, 4, 5, 7(b) da Folha TP2.
Semana 5 (22/10 - 26/10) Indução matemática: resolução dos exercícios 7(c)(d), 8, 9 e 11.
Aula 6 5/11/07 Algoritmos e complexidade. Resolução dos Exercícios 1,2,3,4,5,8 da Folha TP3.
Semana 7 (5/11 - 9/11) Resolução dos Exercícios 10, 11, 12, 13, 14.
Semana 8 (12/11 - 16/11) Grafos. Grafos eulerianos. Resolução dos Exercícios 1, 4, 5, 6, 7 e 10. da Folha TP4.
Semana 9 (19/11 - 23/11) Problema do trajecto mais curto. Algoritmo de Dijkstra. Árvores. Resolução dos Exercícios 13, 14, 17, 18, 19.
Semana 10 (26/11 - 30/11) Números. Algoritmo da divisão. Algoritmo de Euclides. Crivo de Eratóstenes. Resolução dos Exercícios 1,2,3,4,5,7,9,10,11,12,16,17 da Folha TP5.
Semana 11 (3/12 - 7/12) Números. Encriptação. Congruências. Resolução dos Exercícios 19, 20, 21 e 24.
Semana 12 (10/12 - 14/12) Contagem. Resolução dos exercícios 1,2,3,4,5,6,7,8,10,12 da Folha TP6.