Sumários
Exercícios 2A
19 Outubro 2017, 10:00 • Mário Jorge Edmundo
Resolução do exercícios da folha de exercícios 2A.
Exercícios 2A
17 Outubro 2017, 10:30 • Mário Jorge Edmundo
Resolução do exercícios da folha de exercícios 2A.
Temas 2 e 3
17 Outubro 2017, 09:30 • Mário Jorge Edmundo
Combinações de quantificadores e de operações lógicas. Equivalência e implicação lógica envolvendo quantificadores, propriedades, regras de substituição. Argumentos válidos e implicações lógicas.
Folha 2A
16 Outubro 2017, 13:30 • Maria João Antunes Dias Gouveia
Correcção do TPC/conclusão da folha 2A.
Folha 2A
16 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Correcção do TPC/conclusão da folha 2A.