Sumários

Exercícios 1C

12 Outubro 2017, 10:00 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 1C.

Exercícios 1C

10 Outubro 2017, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios da folha de exercícios 1C.

Tema 2

10 Outubro 2017, 09:30 • Mário Jorge Edmundo

Equivalência lógica de condições; exemplos; propriedades; contra-recíproca; negação de uma implicação; negação de uma equivalência; regras de substituição. Implicação lógica de condições; exemplos.

Folhas 1C e 2A

9 Outubro 2017, 13:30 • Maria João Antunes Dias Gouveia

Conclusão da folha 1C. Resolução de exercícios da folha 2A.

Folhas 1C e 2A

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

Conclusão da folha 1C. Resolução de exercícios da folha 2A.