Sumários
Aula Prática 13
16 dezembro 2010, 12:00 • Manuel Biscaia Martins
Exercícios 1.1a, 1.1b, 1.3b, 1.3c e 2.1b da lista de exercícios para a aula prática 13.
Aula Teórica 24
16 dezembro 2010, 10:30 • Maria Paula Antunes Abrantes Gouveia
Resolução de exercícios de Testes 4 de 2009/2010. Exercício 1: (a) Mostre que se L1 se reduz polinomialmente a L2 e L2 se reduz polinomialmente a L3 então L1 reduz-se polinomialmente a L3; (b) Mostre que se uma linguagem L é C-difícil e L se reduz polinomialmente a L' então L' é C-difícil. Exercício 2: Seja f:\Sigma^*->\Sigma^* uma função total em PF e seja x um elemento do contradomínio de f. Mostre que a linguagem A={y\in Sigma^*: f(y)=x} pertence à classe P.
Aula Prática 13
16 dezembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1a, 1.1b, 1.3b, 1.3c e 2.1b da lista de exercícios para a aula prática 13.
Aula Prática 13
15 dezembro 2010, 08:30 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1a, 1.1b, 1.3b, 1.3c e 2.1b da lista de exercícios para a aula prática 13.
Aula Prática 13
14 dezembro 2010, 12:00 • Maria Paula Antunes Abrantes Gouveia
Exercícios 1.1a, 1.1b, 1.3b, 1.3c e 2.1b da lista de exercícios para a aula prática 13.