Sumários
AULA 3
22 Fevereiro 2017, 11:30 • Fernando Ferreira
Sistema de dedução proposicional à Hilbert. O teorema da dedução. O teorema da completude fraco do cálculo proposicional.
AULA 2
16 Fevereiro 2017, 09:30 • Fernando Ferreira
Completude vero-funcional.
O teorema da compacidade do cálculo proposicional.
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.