Sumários

23 Outubro 2017, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 2B.

20 Outubro 2017, 14:00 • Maria João Antunes Dias Gouveia

Resolução do exercício 1 da folha 2B.

20 Outubro 2017, 11:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 2B.

20 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia

Resolução do exercício 1 da folha 2B.

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.