Sumários
TP13 aula 7
12 Outubro 2022, 12:30 • Maria da Purificação Antunes Coelho
Exercícios 23, 24, 33, 39 e 37 (alíneas (a) a (d)).
TP16: Quantificadores e demonstrações.
12 Outubro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 36, 21 e 23.
TP12 aula 7
11 Outubro 2022, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 36(continuação), 19, 23 e 24.
T12 aula 7
11 Outubro 2022, 09:30 • Maria da Purificação Antunes Coelho
Demonstração de uma asserção da forma "Existe x tal que P(x)" (exibindo um objeto do domínio que satisfaz a condição P(x)).
AULA 7
11 Outubro 2022, 09:30 • Fernando Ferreira
Recapitulação da matéria dada. Tautologias e o problema P vs NP. Leis lógicas, métodos demonstrativos, quantificações, ordem dos quantificadores, etc.