Sumários

TP14_22 (por videoconferência no Zoom)

14 Janeiro 2022, 11:30 • Mário Jorge Edmundo

Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 152 (1, 2, 3, 8) e 156.

T_23

14 Janeiro 2022, 09:30 • Mário Jorge Edmundo

Revisões. Indicações sobre a estrutura do Exame.

TP11_23 (por videoconferência no Zoom)

14 Janeiro 2022, 08:00 • Mário Jorge Edmundo

Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 152 (1, 2, 3, 8) e 156.

Conclusão do sumário anterior. Demonstrações formais com regras de introdução e eliminação da igualdade.

13 Janeiro 2022, 10:30 • Maria João Antunes Dias Gouveia

Correcção do TPC.

Resolução dos exercícios 154, 156. 
Esclarecimento de dúvidas relativamente a demonstrações formais com quantificadores múltiplos.  
TPC: 158 a partir das sugestões dadas.

TP14_21 (por videoconferência no Zoom)

12 Janeiro 2022, 09:30 • Mário Jorge Edmundo

Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.