Sumários
Aula teórica 12
24 Outubro 2019, 11:30 • Maria da Purificação Antunes Coelho
Demonstrações por indução. Definições por recorrência.
TP12 aula 11
24 Outubro 2019, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 39 (conclusão), 36 (conclusão), 38 (alíneas a) e b)) e 48.
TP12 aula 10
22 Outubro 2019, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 36 (alíneas a) e b)), 35 (conclusão) e 39 (alíneas a) a d)).
Aula teórica 11
22 Outubro 2019, 09:30 • Maria da Purificação Antunes Coelho
Como demonstrar um objetivo da forma "Existe x tal que P(x)". Como usar um dado da forma "Existe x tal que P(x)". Como usar um dado da forma "Para todo o x, P(x)".
TP13 aula 10
21 Outubro 2019, 13:30 • Maria da Purificação Antunes Coelho
Exercícios 36 (conclusão), 35 e 39.