Sumários
1 Outubro 2018, 12:00
•
Fernando Ferreira
Exrecícios 15, 16, 18, 20 e 21 (começo).
1 Outubro 2018, 08:00
•
Mário Jorge Edmundo
Exercícios 19, 20 e 23.
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.
28 Setembro 2018, 08:00
•
Mário Jorge Edmundo
Exercícios 13, 14, 15, 17 e 18
27 Setembro 2018, 10:30
•
Fernando Ferreira
Exercícios 8, 12 (finalizações), 13 e 14.