TP14_11

17 Novembro 2021, 09:30 • Mário Jorge Edmundo

Mais exemplos de demonstrações formais. Resolução dos exercícios 43 (2, 3, 4, 5), 44 (1, 3).

TP13_10

17 Novembro 2021, 08:00 • Mário Jorge Edmundo

Exemplos de demonstrações formais. Resolução dos exercícios 39, 40 e 41.

T

16 Novembro 2021, 10:30 • Mário Jorge Edmundo

Aula não foi dada (consulta médica).

TP11_11

16 Novembro 2021, 08:00 • Mário Jorge Edmundo

Mais exemplos de demonstrações formais. Resolução dos exercícios 43 (2, 3, 4, 5), 44 (1, 3).

Demonstrações formais envolvendo os conectivos disjunção, conjunção.

15 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia