Caros, as notas de Lógica Computacional relativas à Primeira Prova e Primeira Lista estão disponíveis.