Sumários

T26

17 Dezembro 2019, 10:30 Mário Jorge Edmundo

Revisões: resolução de um exame antigo.


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.


T12_27

16 Dezembro 2019, 12:00 Mário Jorge Edmundo

Exercícios 148, 154.


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.