Sumários
Mini-teste
17 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Realização do 3º mini-teste em 3 turnos de 25 minutos cada.
Deduções formais com quantificadores
16 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 140, 141 e 142.
T25
13 Dezembro 2019, 09:30 • Mário Jorge Edmundo
Revisões para o mini-teste 3: resolução de dois mini-testes antigos.