31/07 Já estão disponíveis as notas referentes à Época de Recurso. (
aqui)
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.