Sumários
TP13 - aula 4
13 Outubro 2021, 12:30 • Maria da Purificação Antunes Coelho
Exercícios 9 e 10 da secção 1.2. Atividades iniciais da secção 2.1.
TP12 - aula 2
12 Outubro 2021, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 4, 6 e 9 da secção 1.1 e exercício 2. a) da secção 1.2.
AULA 2
12 Outubro 2021, 09:30 • Fernando Ferreira
Os sinónimos de A --> B: (1) se A então B; (2) B, se A; (3) A somente se B; (4) A é condição suficiente para se ter B; (5) B é condição necessária para se ter A. Algumas equivalências lógicas notáveis, incluindo as leis da absorção. Tautologias e o problema P versus NP. Duas demonstrações do seguinte: se a e b são inteiros e a+b é ímpar, então a é par ou b é par. Uma primeira demonstração mostrando que se a+b é ímpar e a é não é par então b é par. Outra por contrarrecíproco.
TP13 - aula 3
11 Outubro 2021, 13:30 • Maria da Purificação Antunes Coelho
Exercícios 8 da secção 1.1 e 2 a), 4 a), 7 e 8 da secção 1.2.
TP14 - aula 3
11 Outubro 2021, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 4 e 6 da secção 1.1 e 2 b), 3 a) e 8 da secção 1.2.