Sumários

TP13 aula 24

11 Dezembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 123, 124 (1-5), 148(1), 148(2), 154 e 156.

Aula teórica 24

10 Dezembro 2024, 10:30 • Maria da Purificação Antunes Coelho

Instanciação existencial e a regra formal de eliminação do quantificador existencial.

Mais exemplos de traduções ("existem pelo menos dois...", "existe no máximo um...", existe exatamente um...", etc).

TP11_24

10 Dezembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Realização do segundo mini teste.

TP12_24

9 Dezembro 2024, 12:00 • Mário Jorge Edmundo

Realização do mini-teste 2.

TP13 aula 23

9 Dezembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Realização do segundo mini teste.