Sumários

5 TP12

1 Outubro 2018, 12:00 Fernando Ferreira

Exrecícios 15, 16, 18, 20 e 21 (começo).


TP13-5

1 Outubro 2018, 08:00 Mário Jorge Edmundo

Exercícios 19, 20 e 23.


AULA 4

28 Setembro 2018, 09:30 Fernando Ferreira

Tautologias e tt-satisfação. Uma sentença do cálculo proposicional é uma tautologia se, e somente se, ~P não é tt-satisfazível. 

O problema P versus NP. Considerações várias, inclusive criptográficas.


TP11-4

28 Setembro 2018, 08:00 Mário Jorge Edmundo

Exercícios 13, 14, 15, 17 e 18


4 TP12

27 Setembro 2018, 10:30 Fernando Ferreira

Exercícios 8, 12 (finalizações), 13 e 14.