Sumários

3 Outubro 2017, 08:00 • Fernando Ferreira

Exercícios 19, 20, 22 e 23.

2 Outubro 2017, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 20 a 23.

2 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 20 a 23.

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.

29 Setembro 2017, 08:00 • Fernando Ferreira

Exercícios 13, 14, 18 e 19.