Sumários
TP11: conjuntos e asserções com mais do que um quantificador. Tipologia da aula: videoconferência + presencial.
16 Novembro 2020, 11:00 • Mário João de Jesus Branco
TP13 - 13 de novembro
13 Novembro 2020, 14:00 • Maria da Purificação Antunes Coelho
Exercícios 37, 38 (resolução parcial), 39(a), 40 (alíneas a)vi. e b)) e 41.
TP14 - 13 de novembro
13 Novembro 2020, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 37, 38 (resolução parcial), 39(a) e 41.
TP11: conjuntos e asserções com mais do que um quantificador. Tipologia da aula: videoconferência + presencial.
13 Novembro 2020, 11:00 • Mário João de Jesus Branco
Aula teórica 12
12 Novembro 2020, 11:30 • Maria da Purificação Antunes Coelho
Estratégia para demonstrar um objetivo da forma "Para todo o x, P(x)". Como demonstrar uma inclusão de conjuntos.