AULA 4

29 Setembro 2017, 09:30 • Fernando Ferreira

Verdades lógicas. Tautologias. A noção de tt-satisfação. Considerações em torno do problema P versus NP e da criptografia.