17/07 Já estão disponíveis as notas referentes à Época Normal. (aqui)

20/06 Foram disponibilizados exercícios teorico-práticos.

11/06 Já estão disponíveis as notas do segundo mini-teste prático e as notas práticas finais. (aqui)

05/06 Já estão disponíveis os slides correspondentes ao módulo de lógica de primeira ordem.

31/05 Já estão disponíveis (secção "Material de Apoio") os slides correspondentes ao terceiro módulo de lógica proposicional.

28/05 Já estão disponíveis as notas do primeiro mini-teste prático (aqui)

07/05 Na próxima 5ª e 6ª-feira (10 e 11/05) realizam-se as JOIN 2007. Por esse motivo não haverá aula teórica.

19/02 Na próxima 6ª-feira (26/02) não haverá aula teórica.