AULA 1

15 Fevereiro 2017, 11:30 • Fernando Ferreira

Linguagens para o cálculo proposicional. Unicidade de leitura. Valorações, tautologias. Equivalências tautológicas importantes. O problema P vs NP.