Sumários
Exercícios 2B
23 Outubro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 2B.
Folha 2B
20 Outubro 2017, 14:00 • Maria João Antunes Dias Gouveia
Resolução do exercício 1 da folha 2B.
Exercícios 2B
20 Outubro 2017, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 2B.
Folha 2B
20 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Resolução do exercício 1 da folha 2B.
Tema 3
19 Outubro 2017, 11:30 • Mário Jorge Edmundo
Teorias, definições, teoremas e demonstrações. Teoremas e implicações lógicas; o que é uma demonstração.