Sumários
AULA 5
4 Outubro 2016, 10:30 • Fernando Ferreira
Tautologias e sentenças tt-satisfazíveis. Uma sentença S do cálculo proposicional é uma tautologia se, e somente se, ~S não é tt-satisfazível. O problema P vs NP. Breve discussão sobre dificuldade computacional e a criptografia pública.
Literais. Forma normal negativa. Forma normal disjuntiva.
Aula 4 - TP12
3 Outubro 2016, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 13 (conclusão), 18 e 20. Algumas alíneas do exercício 19.
Aula 4 - TP13
3 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 13 (conclusão), 18 e 20.