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.