Sumários
Aula Teórica 25
20 dezembro 2007, 09:30 • Maria Paula Antunes Abrantes Gouveia
Realização do Teste 4.
Aula prática 13
19 dezembro 2007, 14:30 • Ricardo Joao Rodrigues Goncalves
Tableaux de lógica proposicional e de 1ª ordem: revisões.
Aula prática 13
19 dezembro 2007, 12:30 • Ricardo Joao Rodrigues Goncalves
Tableaux de lógica proposicional e de 1ª ordem: revisões.
Aula prática 13
19 dezembro 2007, 11:00 • Ricardo Joao Rodrigues Goncalves
Tableaux de lógica proposicional e de 1ª ordem: revisões.
Aula Teórica 24
18 dezembro 2007, 09:30 • Maria Paula Antunes Abrantes Gouveia
Conclusão da aula anterior.